Fix issues with rules containing cartesian products
* Do not skip filter conditions when beta node does nto have a join condition (no shared var)
* When looking up ABox matches without a join condition, use the role in the atom