Hack for not-mt?
Rehaul of havoc and visualization.
Non-capture avoiding subst for CBV.
Hack for not-mt?.
Fix SPCF havoc.