let cfg_from_proto kf =
  let cfg, fct_in, fct_out = init_cfg true kf in
  let _ = add_edge cfg fct_in Enone fct_out in
  let cfg = { cfg with loop_nodes = Some [] } in
    cfg