de.learnlib.oracle.property
