de.learnlib.oracle.membership
