[bv-dev] Clarification regarding executable parameter/return value validation with group sequence redefinition