add debug output to nogood grounder