de.learnlib.oracles
