let
compute nb file =
let
visitor =
new
do_it(nb)
in
visitFramacFileSameGlobals visitor file