module Filter:sig..end
Filter helps to build a new cilfile from an old one by removing some of
its elements. One can even build several functions from a source function
by specifying different names for each of them.
module type RemoveInfo =sig..end
Signature of a module that decides which element of a function have to be visible or not
module F:
Given a module that match the module type described above,
F.build_cil_file initializes a new project containing the slices