Uses of Class
net.automatalib.serialization.saf.SAFSerializationNFA