[rules-users] qualified identifiers in constraints: not commutative?