Method signature eval_for_RespectPriorities added
*Methods for events 'fail' and 'priority' added
*Some documentation added
*Method work_for_ExistsLeader is not static any more
*Methods for events 'fail' and 'priority' added
*Main invokes methods eval_for of different properties. Many of them are
commented
*Methods for events 'fail' and 'priority' added
*Event 'suc' removed as it was the same as 'succeed'
*Comment added
*Property ExactlyOnceSuccess renamed to ExactlyOneSuccess
*Events 'com' and 'suc' recorded as 'command' and 'succeed'
*Free variable added to method 'makeAcknowledgeCommands' to ensure all
events have the same number of parameters
*Guards fixed in 'makeAcknowledgeCommands'
Clean up
Comment removed