contracts_same_contract.nit:22,3--17: The method already has a defined `expect` contract at line 21