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))