Added a verification of the number of the exploration with and without
proof
Merge branch 'master' of https://github.com/Gueust/StateMachineModelization.git
Added a function that replace the CTL's found in the condition field