let rec is_allowed_vi vi (_,layer_ctrs : t_vi_ctrs) =
  not (exists_more_general_eq vi layer_ctrs)