Reinforced condition/decision coverage