#25. Implemented warning for non-void return method in the contract bloc.
#27. Added support for Contract.EnsuresOnThrow.
#9. Added error for using precondition after postconditions.
#21. Added warning for precondition/postconditions used after EndContractBlock.