Added path continuity assertion