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