Uses of Interface
net.automatalib.serialization.saf.SinglePropertyEncoder