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
}