fixed bug in cil-lib.k