Runtime error: Assert 'expect' failed (contracts_virtual_type.nit:23)