Convert concat to SMTFunction