More debugging for SSA quirks; still WIP