Fix bug with new clingo