added pure.c, illustrates an "error in CollectGlobal" (found in cabs2cil.ml) errorfirst found in emacs
added pure.c, illustrates an "error in CollectGlobal" (found in cabs2cil.ml) errorfirst found in emacs

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c