Debugging the left-hand side of a rule