improved debugging output and fixed a small bug related to refutation from null dispatch -- was checking for each callee rather than refuting right away