efsm: propagate properly contexts
Currently we "guess" the context from the EFSM file. We should provide a means to save the context in the EFSM file, and accept hints when reading an EFSM file.
The hints is needed for instance when reading a determinized/minimized automaton: you know the expected type of the result.
Inference is not good. Rmin looks like R etc.