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