Uses of Interface
de.learnlib.oracle.PropertyOracle.MealyPropertyOracle