[bv-dev] Method constraints in inheritance hierarchies