rules: reformat SubstituteVars