code: public static <I, D> List<Word<I>> findMalerPnueli(Query<I, D> ceQuery) {
          return ceQuery.getInput().suffixes(false);
      }
docs: Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler &amp; Pnueli.
  
  @param ceQuery
  the counterexample query
  
  @return all suffixes of the counterexample input