let get_initial_state (name : string) : string = 
        if (Hashtbl.find_all initial_states name=[])
        then ""
        else Hashtbl.find initial_states name