fix bug with clingo warninsg