[gh-17] - Added contract_for syntax to the generator