let init_cfg spec_only kf =
  let env = new_cfg_env spec_only kf in
  let start =  add_node env (Vstartin
  let fct_in =  add_node env (VfctInin
  let _ = add_edge env start Enone fct_in in
  let fct_out =  add_node env (VfctOutin
  let nexit =  add_node env (Vexitin
  let nend =  add_node env (Vendin
  let _ = add_edge env fct_out Enone nend in
  let _ = add_edge env nexit Enone nend in
    env, fct_in, fct_out