Remove redundant parameters of SMTDeclareFun