Graph algorithms on models with [0,1] intervals

[lukovdm]

The graph algorithms currently do not work correctly for interval models with [0,1] transition probabilities. Storm does not complain about this and often does produce correct model checking results if the graph algorithm did not influence the model checking enough.