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