When unifying instructions during a block diff, actually complain about