Fix unwanted deleted transitions in executions paths after graph
minimization
Change the result for the visit of an InteractiveSystem: 
Give a list of executions paths (as lists of transitions) instead of a
graph of possibles executions