New code backend debug
Does what the commits say they do, except for cherry pick Fixes long invariant typing, without using long invariant
which fixes the annotate typing, and introduces a new printing facility to print only the branches containing a culprit block.