let get_using_prototype kf =
  let state = Value.get_initial_state kf in
  let behaviors = !Value.valid_behaviors kf state in
  let assigns = Ast_info.merge_assigns behaviors in
  let inputs =
    !Value.assigns_to_zone_inputs_state state assigns
  in
(*  Format.printf "proto inputs from assigns: %a@."
    Zone.pretty over_inputs_if_termination; *)

  { Inout_type.under_outputs_if_termination =
      Zone.bottom ;
    over_inputs_if_termination = inputs;
    over_inputs = inputs
  }