Performance issue of certain rule formulation

[Michiel-s]

Given the script

RELATION prop[A] [PROP]
RELATION r[A*B] [UNI]

Evaluating the following rule performs very badly: prop |- I /\ r;('b1' \/ 'b2');r~

When removing the I /\ aspect, which keeps the same semantics because prop is a property, the rule evaluation is significantly faster. The SQL query generated for the conjunct is of course different.

Faster rule: prop |- r;('b1' \/ 'b2');r~