Convert list functions to SMTFunction