Function validate_condition 

fn validate_condition<'rotation>(
    ctx: &mut ValidationCtx<'rotation, '_>,
    root: &'rotation Condition,
)