[rules-users] Debugging unification in backward chaining