Change 'Opt' keyword by 'Costs' in clingo