Added CSP version to check integrity of the model-checker.
Updated fault tolerance examples.
Added case to add channels when left or right expression is of type
MCAIdentifierVarsetExpression.
Added small optimisation of fault-tolerance verification.
Added small optimisation of fault-tolerance verification.