getTerminator() returns Instruction*.
So, some tests (spec2006.483.xalancbmk) fail with SegFault, because we should cast more carefully.
Also, TODO is already implemented.
MarkGoncharovAl on Mar 20 2023, 4:31 AM.Authored by
I landed a fix for this in 00fdd2cb6c55744ae21f18c377854e9359273454. This patch can be abandoned.