improvements in Gringo grounder