let set_func_pre_call_bycase caller sid status =
  Hashtbl.replace pre_call_status (caller,sid)
    (Spec_tools.pre_flattening status)