rfdb-datalog-hash-join-shared-var

Fix silent incorrect results in RFDB Datalog queries that share a variable between two edge atoms on opposite ends (e.g. self-join patterns like edge(M, C, "T1"), edge(C, M, "T2")). Use when: (1) a Datalog rule returns rows that look structurally wrong (e.g. a self-loop rule reports hits but pinning M to each reported id refutes the edge existence), (2) Cypher MATCH (m)-[:R1]->(c)-[:R2]->(m) returns the same bogus…