Linux Driver Verification

Launch command: /home/ldvuser/ldv/inst/bin/../dscv/cil/obj/x86_LINUX/cilly.asm.exe --extrafiles cil_extrafiles.list --out cil.out.i --printCilAsIs --decil --noInsertImplicitCasts --useLogicalOperators --ignore-merge-conflicts --no-convert-direct-calls --no-convert-field-offsets --no-split-structs --rmUnusedInlines.
If file ldv_common_model.i was not processed with CIF that command will be executing for 93 seconds. Otherwise it will take only 17 seconds.
This problem only appears if "new: file(LDV_COMMON_MODEL){...}" section of rule model contains a lot of headers and kernel module consists of a lot of files.