fix a bug in nogood grounder