de.learnlib.oracle.emptiness
