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