Add efsm wrapper, modfiy graph toString toDotString, add bdd existential quantification