Convert constant array function to SMTFunction