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