Output runtime when property proved or disproved
Merge pull request #167 from chsticksel/develop

Output runtime when property proved or disproved
Merge remote-tracking branch 'upstream/develop' into invGen
Optimizations in implication graph.
Bugfix in and safety checks.