HomeIsabelle/Phabricator

Memoise the cif. It's in C memory and not persistent.