#10. Implemented warning and fix for contract statements in the try block.
#10. Added missed test files.
Minor improvements: extracted classes required for validation.