Function structural_derivation_valid 

pub fn structural_derivation_valid(steps: &[(StructuralRule, bool)]) -> bool

Validate a whole sequence of structural-rule applications (rule, reusable); every step must be licensed for the derivation to be well-formed.