Convert select and store to SMTFunction instance