UI freezes when contract constraint is enabled and guard is modified
1) Enable OCRA constraints on a project
2) update the guard, or action or any semantically relevant model element.
3) Try to update it once again
Expected: the user should be able to make the update in point 3
Actual: the user is not able to do it and the UI freezes
Analysis: point 2 triggers model checking and it blocks the user from making any further changes.
Note: This bug is related to formal verification. You need NuSMV and OCRA installed on your machine.