fixed merge: fileUse.ml: correct analysis name for Spec2
TODO: multiple exit points. CIL's One Return module?