EFSM Inference