let fixpoint = Cofix.obtain