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