docs: public boolean isConsistentWith(KbState other) {
      // Both states need to have the same functions in the same order.
      // Don't check the names specifically though, because it's expensive.
      Preconditions.checkArgument(other.functionNames.size() == functionNames.size());
      
      List<FunctionAssignment> otherAssignments = other.getAssignments();
      for (int i = 0; i < functionAssignments.size(); i++) {
        FunctionAssignment a1 = functionAssignments.get(i);
        FunctionAssignment a2 = otherAssignments.get(i);
        if (!a1.isConsistentWith(a2)) {
          return false;
        }
      }
      return true;
    }