some little graph-improvements and tests
Prevent arcs to be includes to transitions or places if they are doublettes
Deal with empty inputs of transitions in reachabilityGraphs
make tests run :-(