#6. Implemented warning for Contract.Assert/Contract.Assume in contract block.
#20. Implemented warning when contracts are in the inner block.