Forall with self-join and "not in" constraint matches when not supposed to

Forall clauses containing a pattern with self-join and a "not in" constraint will match even when such constraint is not satisfied.

For example, the following DRL:

    rule "Rule"
    when
    forall (f:Fact(tag == "X") Fact(this==f, value not in (1, 42) ))
    then
    end

will match against the following fact:

    Fact( tag=X, value=42 )

whereas it is not supposed to.

Notice that the issue does not occur when running with executable model.

This looks related to DROOLS-6469, but still affects Drools 7.57.0.Final and above.