code: @Override
      public boolean isSameState(Word<I> input1, S s1, Word<I> input2, S s2) {
          return s1.equals(s2);
      }
docs: Test for state equivalence by simply invoking {@link Object#equals(Object)}.
  
  @see OmegaMembershipOracle#isSameState(Word, Object, Word, Object)