Checkpoint on compilation. This change includes the rollback
to FamInstEnv.