end_condition coverage execute...