pub fn arb_safety_rules_input() -> impl Strategy<Value = SafetyRulesInput>