Add pretty_terminator
to pretty stable-mir
#118172
Merged
pretty_terminator
to pretty stable-mir
#118172