let get_func_pre_call caller sid =
  try
    Hashtbl.find pre_call_status (caller,sid)
  with
    | _ -> (Array.make (!numberOfStates) true,
            Array.make (!numberOfTransitions) true)