Now using gringo 4.3.0