muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match
in are_convertible togliere il caso Prop,Prop in quanto catturato da ===
in are_convertible togliere il caso Meta,Meta in quanto catturato da ===
in are_convertible caso Meta,Meta non fare lift ma accorcia il ctx