method compute_funspec kf =
    let state = self#specialize_state_on_call kf in
    let behaviors = !Value.valid_behaviors kf state in
    let assigns = Ast_info.merge_assigns behaviors in
    !Value.assigns_to_zone_inputs_state state assigns