let pp_function fmt kf bhv =
flow := true ;
match bhv with
| None ->
Format.fprintf fmt
"%s@\n Function %s@\n%s@\n@\n"
bar (Kernel_function.get_name kf) bar
| Some bhv ->
Format.fprintf fmt
"%s@\n Function %s with behavior %s@\n%s@\n@\n"
bar (Kernel_function.get_name kf) bhv bar