src/datalog_conformance/_tests/recursion/souffle_evaluation_mul.yaml::souffle_mul_mul: _CaseVerificationError: predicate 'mul': expected [(0, 0, 0), (0, 1, 0), (1, 1, 1), (1, 2, 2), (2, 2, 1), (2, 3, 0)], got []
