Convert data structure accessors to SMTFunction