Ghances to find the deadlock found in insiel's specification.
Improving exception handling.
Merge remote-tracking branch 'origin/acf' into alrd
Refactoring basic tasks of the main job of the fault-tolerance
verification. Implemented the method getChannelNames on class
MCAIdentifierVarsetExpression.