Package net.automatalib.util.automaton.predicate