Rewrite never_loop
as a strict reachability pass
#11447
Merged
never_loop
as a strict reachability pass
#11447