Language.Fixpoint.Solver.Instantiate

instantiateAxioms

instantiateFInfo