Pass vector of SMT expressions to SymbolicFunctionVariable function operator by const ref instead of by value.

Pass vector of SMT expressions to SymbolicFunctionVariable function operator by const ref instead of by value. #748