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