Package de.learnlib.oracle.property