let add_default_behavior f =
  let vis = new add_default_behavior in Visitor.visitFramacFile vis f;
  Globals.Functions.iter (fun kf -> ignore (Kernel_function.get_spec kf))