[rules-users] Opportunistic Backward Chaining