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