Safety check on default setting
Explicit run section in coverage control