Runtime error: Assert 'expect(test > 10)' failed (contracts_constructor.nit:20)