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