- Fix test case generation
  Remove paths not ending on terminal/aborting state
- Fix Action containment in IAFlowGraph
  Set containment property to false in concreteAction to 
  avoid modification of the Malai model.