#2. Implemented inspection that show an error when Contract.Requires uses non-static field/property as a message.