strategy/general
free-variables
free-variables.str
memo
memo.str
option
option.str
parenthesize
parenthesize.str
rename
rename.str
substitution
substitution.str
unification
unification.str