base_virtual_type7.nit:20,2--10: Error: circularity of virtual type definition: E <-> F.