fix equal methods

src/ast/Component.cpp

@@ -159,6 +159,7 @@ bool Component::equal(const Node& node) const {
             equal_targets(relations, other.relations) &&
             equal_targets(clauses, other.clauses) &&
             equal_targets(directives, other.directives) &&
+            equal_targets(lattices, other.lattices) &&
             overrideRules != other.overrideRules);
            // clang-format off
 }
@@ -173,6 +174,7 @@ Component* Component::cloning() const {
     res->relations = clone(relations);
     res->clauses = clone(clauses);
     res->directives = clone(directives);
+    res->lattices = clone(lattices);
     res->overrideRules = overrideRules;
     return res;
 }

src/ast/Program.cpp

@@ -336,9 +336,18 @@ bool Program::classof(const Node* n) {
     return n->getKind() == NK_Program;
 }
 
-bool Program::equal(const Node&) const {
-    assert("never needed" && false);
-    throw("not implemented");
+bool Program::equal(const Node& node) const {
+  const auto& other = asAssert<Program>(node);
+  // strict ordered comparisons of vectors
+  return equal_targets(types, other.types) &&
+    equal_targets(lattices, other.lattices) &&
+    equal_targets(functors, other.functors) &&
+    equal_targets(components, other.components) &&
+    equal_targets(instantiations, other.instantiations) &&
+    equal_targets(pragmas, other.pragmas) &&
+    equal_targets(getClauses(), other.getClauses()) &&
+    equal_targets(getRelations(), other.getRelations()) &&
+    equal_targets(getDirectives(), other.getDirectives());
 }
 
 }  // namespace souffle::ast