type inst_info = {
  mutable inumb : int;
  mutable pcond : bool option;
  mutable visited : bool;
}

type block_info = { mutable bnumb : int; mutable visited : bool }