JS2JSIL_Compiler.Preprocess_GCmd
type predecessors = (string * int * int, int) Stdlib.Hashtbl.t
type t = int Gillian.Gil_syntax.Cmd.t
val get_succ_pred : ('a * 'b * t) array -> int list array * int list array
val compute_which_preds : 'a list array -> ('a * int * int) list
val extend_which_pred : predecessors -> ('a * 'b * t) array -> string -> unit