some new test queries for advanced non-reflexitivity
only add non-reflexitivy condition if really needed
generalize the concept for both schemes