Package de.learnlib.oracle.equivalence.spa