contracts_add.nit:46,3--16: Useless contract: No contract defined at the introduction of the method
Runtime error: Assert 'ensure' failed (contracts_add.nit:39)