synchronize with breeze compiler:
1 remove method;
2 remove type of event and add type of mode transition
add NuSMV view
get trace of counterexample of NuSMV from XML file and show it in the
view "NuSMV";
fix bug of state define in safety editor displaying out of order;