*Method 'checkFinalAndStrongStates' created to compute flags
'finalStrongState' and 'nonFinalStrongState' for non-deterministic
monitors
*Javadoc added
*Parameter 'end' added to all methods 'computeVerdict'
*All methods 'computeVerdict' now take into account strong states