In version BVERSION-22 the restriction
"and avoid loops (if V4 inherits from V3, and V3 from V2, V2 shouldn't be able to inherit from V4)"
has not been implemented.