whole_func_string: function areEquivalent(s1, s2, table, alphabet) {
    for (const symbol of alphabet) {
      if (!goToSameSet(s1, s2, table, symbol)) {
        return false;
      }
    }
    return true;
  }
func_code_string: function areEquivalent(s1, s2, table, alphabet) {
    for (const symbol of alphabet) {
      if (!goToSameSet(s1, s2, table, symbol)) {
        return false;
      }
    }
    return true;
  }
func_documentation_string: Checks whether two states are N-equivalent, i.e. whether they go
  to the same set on a symbol.