Convert ite to SMTFunction instance