[rules-users] Not and forall operator behaviour