let process_code_annot pdg stmt _annot = (* TODO : we could add dependencies to some data if we know how to extract * then from the annotation... *) BuildPdg.process_skip pdg stmt