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