Inductive_functional_programming loading ...