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