adds iclingo encoding to potassco