In namespace `datalog.parser.impl` something seems to have gone wrong as: - `validate-or-join-vars` doesn't use `clauses` parameter - `validate-or-join` loops over clauses onlx changing clauses parameter of `validate-or-join-vars`