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