improving gringo and clasp error message reporting