rewriter now instantiates free vars in LHS before creating sample rule