F
Term
freshVars
Term
Fun
term
funs
Term