Changed method access level.
Added support and tests for void methods and methods with arguments in Contracts.