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