rewrite rules: testcase for lhs resolving to rhs (which is wrong)