Debugging the right-hand side of a rule