let subtyping_cstrs_C' =
  let p_10_1 = { u = [ true; false; ]; v = [ true; ]; } in
  let p__1100 = { u = []; v = [ true; true; false; false; ]; } in
  let p__10 = { u = []; v = [ true; false; ]; } in
  let p__01 = { u = []; v = [ false; true; ]; } in
  [ Subtype (CT_on (CT_var (Alpha 1), p_10_1),
             CT_on (CT_var (Alpha 2), p__01));
    Subtype (CT_on (CT_var (Alpha 2), p__1100),
             CT_on (CT_var (Alpha 2), p__01));
    Subtype (CT_on (CT_on (CT_var (Alpha 2), p__01), p__10),
             CT_var (Alpha 3));
    Subtype (CT_on (CT_on (CT_var (Alpha 2), p__01), p__01),
             CT_var (Alpha 3)); ]