Hi, Shahar Golan
Thanks for your reply. It is very useful for us.
But I am a beginner of cil and Ocaml and even don't know Ocaml language.
So, I am afraid I don't know how to apply your suggestion. Could you share
the cil package modified by you with.
Thanks a lot!