sperate initial_covered line and step0_covered_line