__aux_15 __aux__vars5 X1.
{2 => PS_ENUM {("x",0) => PS_ALL},
 1
  => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("0",0) => PS_ALL,
              ("2",0) => PS_ALL}}
__aux_15 __aux__vars5 X1.
{2 => PS_ENUM {("x",0) => PS_ALL},
 1
  => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("2",0) => PS_ALL}}
__aux_18 __aux__vars6 X1.
{1
  => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("2",0) => PS_ALL}}
__aux_15 __aux__vars5 X1.
{2 => PS_ENUM {("x",0) => PS_ALL},
 1 => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("2",0) => PS_ALL}}
__aux_15 __aux__vars5 X1.
{2 => PS_ENUM {("x",0) => PS_ALL},
 1 => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("2",0) => PS_ALL}}
__type_values values(X1,X2).
{2
  => PS_ENUM {("4",0) => PS_ALL,
              ("address",1) => PS_ENUM {("x",0) => PS_ALL},
              ("2",0) => PS_ALL},
 1 => PS_ENUM {("x",0) => PS_ALL}}
__aux_8 __aux__vars2 X1.
{1 => PS_ENUM {("4",0) => PS_ALL,("address",1) => PS_ENUM {("x",0) => PS_ALL}}}
__aux_3 __aux__vars1 X1.
{1 => PS_ENUM {("4",0) => PS_ALL}}
__type_values values(X1,X2) :- __aux_2 X2, __aux_1 X1.
{}
__aux_2 4.
{}
__aux_1 x.
{}
__type_values values(X1,X2) :- __aux_5 X2, __aux_4 X1.
{}
__aux_1 x.
{}
__aux_7 address X1 :- __aux_1 X1.
{}
__aux_6 y.
{}
__type_values values(X1,X2) :- __aux_7 X2, __aux_6 X1.
{}
__type_values values(X1,X2) :- __aux_10 X2, __aux_9 X1.
{}
__aux_12 2.
{}
__aux_11 x3.
{}
__type_values values(X1,X2) :- __aux_12 X2, __aux_11 X1.
{}
__type_values values(X1,X2) :- __aux_17 X2, __aux_16 X1.
{}
__type_values values(X1,X2) :- __aux_20 X2, __aux_19 X1.
{}
__aux_21 main_return.
{}
__type_values values(X1,X2) :- __aux_22 X2, __aux_21 X1.
{}
__aux_22 0.
{}
fun_main nil.
{}
__type_values values(X1,X2) :- __aux_25 X2, __aux_24 X1.
{}
__type_values values(X1,X2) :- __aux_28 X2, __aux_27 X1.
{}
__type_values values(X1,X2) :- __aux_31 X2, __aux_30 X1.
{}
__aux_32 field(X1,X2) :- __aux_34 X2, __aux_33 X1.
{}
__aux_31 address X1 :- __aux_32 X1.
{}
__type_values values(X1,X2) :- __aux_37 X2, __aux_36 X1.
{}
__type_values values(X1,X2) :- __aux_40 X2, __aux_39 X1.
{}
__type_values values(X1,X2) :- __aux_43 X2, __aux_42 X1.
{}
__aux_45 field(X1,X2) :- __aux_48 X2, __aux_47 X1.
{}
__type_values values(X1,X2) :- __aux_46 X2, __aux_45 X1.
{}
__aux_50 field(X1,X2) :- __aux_53 X2, __aux_52 X1.
{}
__type_values values(X1,X2) :- __aux_51 X2, __aux_50 X1.
{}
__type_values values(X1,X2) :- __aux_56 X2, __aux_55 X1.
{}
__aux_55 field(X1,X2) :- __aux_58 X2, __aux_57 X1.
{}
__aux_57 field(X1,X2) :- __aux_60 X2, __aux_59 X1.
{}
__aux_62 field(X1,X2) :- __aux_65 X2, __aux_64 X1.
{}
__type_values values(X1,X2) :- __aux_63 X2, __aux_62 X1.
{}
__aux_64 field(X1,X2) :- __aux_67 X2, __aux_66 X1.
{}
*****



clause_conj :- __type_values values(x,2).
__type_values values(X1,X2) :- __type_values values(X3,X2), __type_values values(X1,X3).
__aux_64 field(X1,X2) :- __aux_67 X2, __aux_66 X1.
__aux_61 __aux__vars16(X1,X2,X3,X4,X5) :- __type_values values(X6,address X1), __type_values values(X3,address X1), __type_values values(field(field(field(X6,X2),X5),X1),X4).
__aux_63 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X1,X5).
__aux_66 field(X1,X2) :- __aux_61 __aux__vars16(X3,X2,X1,X4,X5).
__aux_65 X1 :- __aux_61 __aux__vars16(X1,X2,X3,X4,X5).
__type_values values(X1,X2) :- __aux_63 X2, __aux_62 X1.
__aux_67 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X5,X1).
__aux_62 field(X1,X2) :- __aux_65 X2, __aux_64 X1.
__aux_57 field(X1,X2) :- __aux_60 X2, __aux_59 X1.
__aux_58 X1 :- __aux_54 __aux__vars15(X1,X2,X3,X4,X5).
__aux_59 field(X1,X2) :- __aux_54 __aux__vars15(X3,X2,X1,X4,X5).
__aux_56 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X1,X5).
__aux_55 field(X1,X2) :- __aux_58 X2, __aux_57 X1.
__aux_60 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X5,X1).
__type_values values(X1,X2) :- __aux_56 X2, __aux_55 X1.
__aux_54 __aux__vars15(X1,X2,X3,X4,X5) :- __type_values values(X6,address X3), __type_values values(field(field(field(X6,X2),X5),X1),X4).
__type_values values(X1,X2) :- __aux_51 X2, __aux_50 X1.
__aux_49 __aux__vars14(X1,X2,X3,X4) :- __type_values values(X5,address X6), __type_values values(X2,address X6), __type_values values(field(field(X5,X1),X4),X3).
__aux_53 X1 :- __aux_49 __aux__vars14(X2,X3,X4,X1).
__aux_51 X1 :- __aux_49 __aux__vars14(X2,X3,X1,X4).
__aux_52 field(X1,X2) :- __aux_49 __aux__vars14(X2,X1,X3,X4).
__aux_50 field(X1,X2) :- __aux_53 X2, __aux_52 X1.
__aux_48 X1 :- __aux_44 __aux__vars13(X2,X3,X4,X1).
__type_values values(X1,X2) :- __aux_46 X2, __aux_45 X1.
__aux_45 field(X1,X2) :- __aux_48 X2, __aux_47 X1.
__aux_47 field(X1,X2) :- __aux_44 __aux__vars13(X2,X1,X3,X4).
__aux_46 X1 :- __aux_44 __aux__vars13(X2,X3,X1,X4).
__aux_44 __aux__vars13(X1,X2,X3,X4) :- __type_values values(X5,address X2), __type_values values(field(field(X5,X1),X4),X3).
__aux_42 offset(X1,X2) :- __aux_41 __aux__vars12(X2,X1,X3).
__type_values values(X1,X2) :- __aux_43 X2, __aux_42 X1.
__aux_41 __aux__vars12(X1,X2,X3) :- __type_values values(X4,X1), __type_values values(offset(X2,X4),X3).
__aux_43 X1 :- __aux_41 __aux__vars12(X2,X3,X1).
__aux_39 offset(X1,X2) :- __aux_38 __aux__vars11(X1,X3,X2).
__type_values values(X1,X2) :- __aux_40 X2, __aux_39 X1.
__aux_38 __aux__vars11(X1,X2,X3) :- __type_values values(offset(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_40 X1 :- __aux_38 __aux__vars11(X2,X1,X3).
__aux_37 X1 :- __aux_35 __aux__vars10(X2,X1,X3).
__aux_35 __aux__vars10(X1,X2,X3) :- __type_values values(offset(X4,X3),X2), __type_values values(X4,address X1).
__aux_36 offset(X1,X2) :- __aux_35 __aux__vars10(X1,X3,X2).
__type_values values(X1,X2) :- __aux_37 X2, __aux_36 X1.
__aux_34 X1 :- __aux_29 __aux__vars9(X2,X3,X1,X4).
__aux_30 X1 :- __aux_29 __aux__vars9(X2,X3,X4,X1).
__aux_31 address X1 :- __aux_32 X1.
__aux_33 field(X1,X2) :- __aux_29 __aux__vars9(X2,X1,X3,X4).
__aux_29 __aux__vars9(X1,X2,X3,X4) :- __type_values values(X5,address field(X2,X1)), __type_values values(X4,address field(X5,X3)).
__aux_32 field(X1,X2) :- __aux_34 X2, __aux_33 X1.
__type_values values(X1,X2) :- __aux_31 X2, __aux_30 X1.
__type_values values(X1,X2) :- __aux_28 X2, __aux_27 X1.
__aux_27 field(X1,X2) :- __aux_26 __aux__vars8(X1,X3,X2).
__aux_28 X1 :- __aux_26 __aux__vars8(X2,X1,X3).
__aux_26 __aux__vars8(X1,X2,X3) :- __type_values values(field(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_25 X1 :- __aux_23 __aux__vars7(X2,X1,X3).
__aux_23 __aux__vars7(X1,X2,X3) :- __type_values values(field(X4,X3),X2), __type_values values(X4,address X1).
__aux_24 field(X1,X2) :- __aux_23 __aux__vars7(X1,X3,X2).
__type_values values(X1,X2) :- __aux_25 X2, __aux_24 X1.
fun_main nil.
__aux_22 0 :- fun_main nil.
__type_values values(X1,X2) :- __aux_22 X2, __aux_21 X1.
__aux_21 main_return :- fun_main nil.
__aux_20 X1 :- __aux_18 __aux__vars6 X1.
__type_values values(X1,X2) :- __aux_20 X2, __aux_19 X1.
__aux_18 __aux__vars6 X1 :- fun_main nil, __type_values values(z,X1).
__aux_19 x4 :- __aux_18 __aux__vars6 X1.
__aux_15 __aux__vars5 X1 :- fun_main nil, __type_values values(X2,X1), __type_values values(y,address X2).
__type_values values(X1,X2) :- __aux_17 X2, __aux_16 X1.
__aux_16 z :- __aux_15 __aux__vars5 X1.
__aux_17 X1 :- __aux_15 __aux__vars5 X1.
__aux_14 __aux__vars4 X1 :- __type_values values(y,address X1).
__type_values values(X1,X2) :- fun_main nil, __aux_14 __aux__vars4 X1, __aux_13 __aux__vars3 X2.
__aux_13 __aux__vars3 X1 :- __type_values values(x3,X1).
__type_values values(X1,X2) :- __aux_12 X2, __aux_11 X1.
__aux_11 x3 :- fun_main nil.
__aux_12 2 :- fun_main nil.
__aux_9 x2 :- __aux_8 __aux__vars2 X1.
__type_values values(X1,X2) :- __aux_10 X2, __aux_9 X1.
__aux_8 __aux__vars2 X1 :- fun_main nil, __type_values values(y,X1).
__aux_10 X1 :- __aux_8 __aux__vars2 X1.
__type_values values(X1,X2) :- __aux_7 X2, __aux_6 X1.
__aux_6 y :- fun_main nil.
__aux_7 address X1 :- __aux_1 X1.
__aux_1 x :- fun_main nil.
__aux_3 __aux__vars1 X1 :- fun_main nil, __type_values values(x,X1).
__type_values values(X1,X2) :- __aux_5 X2, __aux_4 X1.
__aux_4 x1 :- __aux_3 __aux__vars1 X1.
__aux_5 X1 :- __aux_3 __aux__vars1 X1.
__aux_1 x :- fun_main nil.
__aux_2 4 :- fun_main nil.
__type_values values(X1,X2) :- __aux_2 X2, __aux_1 X1.

(*
clause_conj :- __type_values values(z,2).
__type_values values(X1,X2) :- __type_values values(X3,X2), __type_values values(X1,X3).
__aux_66 field(X1,X2) :- __aux_61 __aux__vars16(X1,X3,X2,X4,X5).
__aux_67 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X5,X1).
__aux_65 X1 :- __aux_61 __aux__vars16(X2,X1,X3,X4,X5).
__type_values values(X1,X2) :- __aux_63 X2, __aux_62 X1.
__aux_61 __aux__vars16(X1,X2,X3,X4,X5) :- __type_values values(X6,address X2), __type_values values(X1,address X2), __type_values values(field(field(field(X6,X3),X5),X2),X4).
__aux_62 field(X1,X2) :- __aux_65 X2, __aux_64 X1.
__aux_63 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X1,X5).
__aux_64 field(X1,X2) :- __aux_67 X2, __aux_66 X1.
__aux_57 field(X1,X2) :- __aux_60 X2, __aux_59 X1.
__aux_59 field(X1,X2) :- __aux_54 __aux__vars15(X1,X3,X2,X4,X5).
__aux_60 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X5,X1).
__aux_56 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X1,X5).
__aux_54 __aux__vars15(X1,X2,X3,X4,X5) :- __type_values values(X6,address X1), __type_values values(field(field(field(X6,X3),X5),X2),X4).
__aux_58 X1 :- __aux_54 __aux__vars15(X2,X1,X3,X4,X5).
__type_values values(X1,X2) :- __aux_56 X2, __aux_55 X1.
__aux_55 field(X1,X2) :- __aux_58 X2, __aux_57 X1.
__aux_51 X1 :- __aux_49 __aux__vars14(X2,X3,X1,X4).
__type_values values(X1,X2) :- __aux_51 X2, __aux_50 X1.
__aux_53 X1 :- __aux_49 __aux__vars14(X2,X3,X4,X1).
__aux_50 field(X1,X2) :- __aux_53 X2, __aux_52 X1.
__aux_52 field(X1,X2) :- __aux_49 __aux__vars14(X1,X2,X3,X4).
__aux_49 __aux__vars14(X1,X2,X3,X4) :- __type_values values(X5,address X6), __type_values values(X1,address X6), __type_values values(field(field(X5,X2),X4),X3).
__aux_45 field(X1,X2) :- __aux_48 X2, __aux_47 X1.
__aux_47 field(X1,X2) :- __aux_44 __aux__vars13(X1,X2,X3,X4).
__type_values values(X1,X2) :- __aux_46 X2, __aux_45 X1.
__aux_48 X1 :- __aux_44 __aux__vars13(X2,X3,X4,X1).
__aux_46 X1 :- __aux_44 __aux__vars13(X2,X3,X1,X4).
__aux_44 __aux__vars13(X1,X2,X3,X4) :- __type_values values(X5,address X1), __type_values values(field(field(X5,X2),X4),X3).
__aux_42 offset(X1,X2) :- __aux_41 __aux__vars12(X2,X1,X3).
__aux_43 X1 :- __aux_41 __aux__vars12(X2,X3,X1).
__aux_41 __aux__vars12(X1,X2,X3) :- __type_values values(X4,X1), __type_values values(offset(X2,X4),X3).
__type_values values(X1,X2) :- __aux_43 X2, __aux_42 X1.
__aux_38 __aux__vars11(X1,X2,X3) :- __type_values values(offset(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_40 X1 :- __aux_38 __aux__vars11(X2,X1,X3).
__type_values values(X1,X2) :- __aux_40 X2, __aux_39 X1.
__aux_39 offset(X1,X2) :- __aux_38 __aux__vars11(X1,X3,X2).
__aux_36 offset(X1,X2) :- __aux_35 __aux__vars10(X1,X3,X2).
__aux_37 X1 :- __aux_35 __aux__vars10(X2,X1,X3).
__aux_35 __aux__vars10(X1,X2,X3) :- __type_values values(offset(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_37 X2, __aux_36 X1.
__aux_32 field(X1,X2) :- __aux_34 X2, __aux_33 X1.
__type_values values(X1,X2) :- __aux_31 X2, __aux_30 X1.
__aux_33 field(X1,X2) :- __aux_29 __aux__vars9(X2,X1,X3,X4).
__aux_29 __aux__vars9(X1,X2,X3,X4) :- __type_values values(X5,address field(X2,X1)), __type_values values(X4,address field(X5,X3)).
__aux_30 X1 :- __aux_29 __aux__vars9(X2,X3,X4,X1).
__aux_34 X1 :- __aux_29 __aux__vars9(X2,X3,X1,X4).
__aux_31 address X1 :- __aux_32 X1.
__aux_26 __aux__vars8(X1,X2,X3) :- __type_values values(field(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_28 X1 :- __aux_26 __aux__vars8(X2,X1,X3).
__aux_27 field(X1,X2) :- __aux_26 __aux__vars8(X1,X3,X2).
__type_values values(X1,X2) :- __aux_28 X2, __aux_27 X1.
__aux_23 __aux__vars7(X1,X2,X3) :- __type_values values(field(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_25 X2, __aux_24 X1.
__aux_24 field(X1,X2) :- __aux_23 __aux__vars7(X1,X3,X2).
__aux_25 X1 :- __aux_23 __aux__vars7(X2,X1,X3).
fun_main nil.
__type_values values(X1,X2) :- __aux_22 X2, __aux_21 X1.
__aux_22 0 :- fun_main nil.
__aux_21 main_return :- fun_main nil.
__aux_19 x4 :- __aux_18 __aux__vars6 X1.
__aux_18 __aux__vars6 X1 :- fun_main nil, __type_values values(z,X1).
__type_values values(X1,X2) :- __aux_20 X2, __aux_19 X1.
__aux_20 X1 :- __aux_18 __aux__vars6 X1.
__aux_16 z :- __aux_15 __aux__vars5 X1.
__aux_17 X1 :- __aux_15 __aux__vars5 X1.
__type_values values(X1,X2) :- __aux_17 X2, __aux_16 X1.
__aux_15 __aux__vars5 X1 :- fun_main nil, __type_values values(X2,X1), __type_values values(y,address X2).
__aux_14 __aux__vars4 X1 :- __type_values values(y,address X1).
__aux_13 __aux__vars3 X1 :- __type_values values(x3,X1).
__type_values values(X1,X2) :- fun_main nil, __aux_14 __aux__vars4 X1, __aux_13 __aux__vars3 X2.
__aux_12 2 :- fun_main nil.
__type_values values(X1,X2) :- __aux_12 X2, __aux_11 X1.
__aux_11 x3 :- fun_main nil.
__aux_10 X1 :- __aux_8 __aux__vars2 X1.
__aux_8 __aux__vars2 X1 :- fun_main nil, __type_values values(y,X1).
__type_values values(X1,X2) :- __aux_10 X2, __aux_9 X1.
__aux_9 x2 :- __aux_8 __aux__vars2 X1.
__type_values values(X1,X2) :- __aux_7 X2, __aux_6 X1.
__aux_6 y :- fun_main nil.
__aux_1 x :- fun_main nil.
__aux_7 address X1 :- __aux_1 X1.
__type_values values(X1,X2) :- __aux_5 X2, __aux_4 X1.
__aux_3 __aux__vars1 X1 :- fun_main nil, __type_values values(x,X1).
__aux_5 X1 :- __aux_3 __aux__vars1 X1.
__aux_4 x1 :- __aux_3 __aux__vars1 X1.
__aux_2 4 :- fun_main nil.
__aux_1 x :- fun_main nil.
__type_values values(X1,X2) :- __aux_2 X2, __aux_1 X1.
*)

(*
clause_conj :- __type_values values(x,2).
__type_values values(X1,X2) :- __type_values values(X3,X2), __type_values values(X1,X3).
__aux_61 __aux__vars16(X1,X2,X3,X4,X5) :- __type_values values(X6,address X2), __type_values values(X1,address X2), __type_values values(field(field(field(X6,X3),X5),X2),X4).
__aux_65 X1 :- __aux_61 __aux__vars16(X2,X1,X3,X4,X5).
__aux_67 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X5,X1).
__type_values values(X1,X2) :- __aux_63 X2, __aux_62 X1.
__aux_66 field(X1,X2) :- __aux_61 __aux__vars16(X1,X3,X2,X4,X5).
__aux_62 field(X1,X2) :- __aux_65 X2, __aux_64 X1.
__aux_63 X1 :- __aux_61 __aux__vars16(X2,X3,X4,X1,X5).
__aux_64 field(X1,X2) :- __aux_67 X2, __aux_66 X1.
__aux_58 X1 :- __aux_54 __aux__vars15(X2,X1,X3,X4,X5).
__aux_60 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X5,X1).
__aux_56 X1 :- __aux_54 __aux__vars15(X2,X3,X4,X1,X5).
__aux_59 field(X1,X2) :- __aux_54 __aux__vars15(X1,X3,X2,X4,X5).
__aux_57 field(X1,X2) :- __aux_60 X2, __aux_59 X1.
__type_values values(X1,X2) :- __aux_56 X2, __aux_55 X1.
__aux_54 __aux__vars15(X1,X2,X3,X4,X5) :- __type_values values(X6,address X1), __type_values values(field(field(field(X6,X3),X5),X2),X4).
__aux_55 field(X1,X2) :- __aux_58 X2, __aux_57 X1.
__aux_50 field(X1,X2) :- __aux_53 X2, __aux_52 X1.
__aux_52 field(X1,X2) :- __aux_49 __aux__vars14(X1,X2,X3,X4).
__aux_51 X1 :- __aux_49 __aux__vars14(X2,X3,X1,X4).
__aux_53 X1 :- __aux_49 __aux__vars14(X2,X3,X4,X1).
__type_values values(X1,X2) :- __aux_51 X2, __aux_50 X1.
__aux_49 __aux__vars14(X1,X2,X3,X4) :- __type_values values(X5,address X6), __type_values values(X1,address X6), __type_values values(field(field(X5,X2),X4),X3).
__aux_44 __aux__vars13(X1,X2,X3,X4) :- __type_values values(X5,address X1), __type_values values(field(field(X5,X2),X4),X3).
__aux_45 field(X1,X2) :- __aux_48 X2, __aux_47 X1.
__aux_47 field(X1,X2) :- __aux_44 __aux__vars13(X1,X2,X3,X4).
__aux_46 X1 :- __aux_44 __aux__vars13(X2,X3,X1,X4).
__type_values values(X1,X2) :- __aux_46 X2, __aux_45 X1.
__aux_48 X1 :- __aux_44 __aux__vars13(X2,X3,X4,X1).
__aux_43 X1 :- __aux_41 __aux__vars12(X2,X3,X1).
__aux_42 offset(X1,X2) :- __aux_41 __aux__vars12(X2,X1,X3).
__aux_41 __aux__vars12(X1,X2,X3) :- __type_values values(X4,X1), __type_values values(offset(X2,X4),X3).
__type_values values(X1,X2) :- __aux_43 X2, __aux_42 X1.
__aux_39 offset(X1,X2) :- __aux_38 __aux__vars11(X1,X3,X2).
__type_values values(X1,X2) :- __aux_40 X2, __aux_39 X1.
__aux_38 __aux__vars11(X1,X2,X3) :- __type_values values(offset(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_40 X1 :- __aux_38 __aux__vars11(X2,X1,X3).
__aux_36 offset(X1,X2) :- __aux_35 __aux__vars10(X1,X3,X2).
__aux_37 X1 :- __aux_35 __aux__vars10(X2,X1,X3).
__aux_35 __aux__vars10(X1,X2,X3) :- __type_values values(offset(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_37 X2, __aux_36 X1.
__aux_32 field(X1,X2) :- __aux_34 X2, __aux_33 X1.
__aux_34 X1 :- __aux_29 __aux__vars9(X2,X3,X1,X4).
__aux_29 __aux__vars9(X1,X2,X3,X4) :- __type_values values(X5,address field(X2,X1)), __type_values values(X4,address field(X5,X3)).
__aux_30 X1 :- __aux_29 __aux__vars9(X2,X3,X4,X1).
__aux_31 address X1 :- __aux_32 X1.
__aux_33 field(X1,X2) :- __aux_29 __aux__vars9(X2,X1,X3,X4).
__type_values values(X1,X2) :- __aux_31 X2, __aux_30 X1.
__aux_27 field(X1,X2) :- __aux_26 __aux__vars8(X1,X3,X2).
__aux_26 __aux__vars8(X1,X2,X3) :- __type_values values(field(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_28 X1 :- __aux_26 __aux__vars8(X2,X1,X3).
__type_values values(X1,X2) :- __aux_28 X2, __aux_27 X1.
__aux_24 field(X1,X2) :- __aux_23 __aux__vars7(X1,X3,X2).
__aux_25 X1 :- __aux_23 __aux__vars7(X2,X1,X3).
__aux_23 __aux__vars7(X1,X2,X3) :- __type_values values(field(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_25 X2, __aux_24 X1.
fun_main nil.
__aux_22 0 :- fun_main nil.
__type_values values(X1,X2) :- __aux_22 X2, __aux_21 X1.
__aux_21 main_return :- fun_main nil.
__aux_18 __aux__vars6 X1 :- fun_main nil, __type_values values(z,X1).
__type_values values(X1,X2) :- __aux_20 X2, __aux_19 X1.
__aux_19 x4 :- __aux_18 __aux__vars6 X1.
__aux_20 X1 :- __aux_18 __aux__vars6 X1.
__type_values values(X1,X2) :- __aux_17 X2, __aux_16 X1.
__aux_17 X1 :- __aux_15 __aux__vars5 X1.
__aux_15 __aux__vars5 X1 :- fun_main nil, __type_values values(X2,X1), __type_values values(y,address X2).
__aux_16 z :- __aux_15 __aux__vars5 X1.
__aux_13 __aux__vars3 X1 :- __type_values values(x3,X1).
__type_values values(X1,X2) :- fun_main nil, __aux_14 __aux__vars4 X1, __aux_13 __aux__vars3 X2.
__aux_14 __aux__vars4 X1 :- __type_values values(y,address X1).
__aux_11 x3 :- fun_main nil.
__aux_12 2 :- fun_main nil.
__type_values values(X1,X2) :- __aux_12 X2, __aux_11 X1.
__aux_8 __aux__vars2 X1 :- fun_main nil, __type_values values(y,X1).
__type_values values(X1,X2) :- __aux_10 X2, __aux_9 X1.
__aux_9 x2 :- __aux_8 __aux__vars2 X1.
__aux_10 X1 :- __aux_8 __aux__vars2 X1.
__aux_7 address X1 :- __aux_1 X1.
__aux_1 x :- fun_main nil.
__aux_6 y :- fun_main nil.
__type_values values(X1,X2) :- __aux_7 X2, __aux_6 X1.
__aux_4 x1 :- __aux_3 __aux__vars1 X1.
__aux_3 __aux__vars1 X1 :- fun_main nil, __type_values values(x,X1).
__type_values values(X1,X2) :- __aux_5 X2, __aux_4 X1.
__aux_5 X1 :- __aux_3 __aux__vars1 X1.
__aux_2 4 :- fun_main nil.
__aux_1 x :- fun_main nil.
__type_values values(X1,X2) :- __aux_2 X2, __aux_1 X1.
*)


(*
clause_conj :- __type_values values(y,4).
__type_values values(X1,X2) :- __type_values values(X3,X2), __type_values values(X1,X3).
__aux_51 field(X1,X2) :- __aux_54 X2, __aux_53 X1.
__aux_55 field(X1,X2) :- __aux_50 __aux__vars12(X3,X1,X2,X4,X5).
__aux_54 X1 :- __aux_50 __aux__vars12(X1,X2,X3,X4,X5).
__type_values values(X1,X2) :- __aux_52 X2, __aux_51 X1.
__aux_52 X1 :- __aux_50 __aux__vars12(X2,X3,X4,X1,X5).
__aux_53 field(X1,X2) :- __aux_56 X2, __aux_55 X1.
__aux_50 __aux__vars12(X1,X2,X3,X4,X5) :- __type_values values(X6,address X1), __type_values values(X2,address X1), __type_values values(field(field(field(X6,X3),X5),X1),X4).
__aux_56 X1 :- __aux_50 __aux__vars12(X2,X3,X4,X5,X1).
__type_values values(X1,X2) :- __aux_45 X2, __aux_44 X1.
__aux_43 __aux__vars11(X1,X2,X3,X4,X5) :- __type_values values(X6,address X2), __type_values values(field(field(field(X6,X3),X5),X1),X4).
__aux_46 field(X1,X2) :- __aux_49 X2, __aux_48 X1.
__aux_49 X1 :- __aux_43 __aux__vars11(X2,X3,X4,X5,X1).
__aux_44 field(X1,X2) :- __aux_47 X2, __aux_46 X1.
__aux_45 X1 :- __aux_43 __aux__vars11(X2,X3,X4,X1,X5).
__aux_48 field(X1,X2) :- __aux_43 __aux__vars11(X3,X1,X2,X4,X5).
__aux_47 X1 :- __aux_43 __aux__vars11(X1,X2,X3,X4,X5).
__aux_40 X1 :- __aux_38 __aux__vars10(X2,X3,X1,X4).
__aux_39 field(X1,X2) :- __aux_42 X2, __aux_41 X1.
__aux_38 __aux__vars10(X1,X2,X3,X4) :- __type_values values(X5,address X6), __type_values values(X1,address X6), __type_values values(field(field(X5,X2),X4),X3).
__aux_42 X1 :- __aux_38 __aux__vars10(X2,X3,X4,X1).
__aux_41 field(X1,X2) :- __aux_38 __aux__vars10(X1,X2,X3,X4).
__type_values values(X1,X2) :- __aux_40 X2, __aux_39 X1.
__aux_33 __aux__vars9(X1,X2,X3,X4) :- __type_values values(X5,address X1), __type_values values(field(field(X5,X2),X4),X3).
__aux_36 field(X1,X2) :- __aux_33 __aux__vars9(X1,X2,X3,X4).
__aux_37 X1 :- __aux_33 __aux__vars9(X2,X3,X4,X1).
__aux_34 field(X1,X2) :- __aux_37 X2, __aux_36 X1.
__aux_35 X1 :- __aux_33 __aux__vars9(X2,X3,X1,X4).
__type_values values(X1,X2) :- __aux_35 X2, __aux_34 X1.
__aux_31 offset(X1,X2) :- __aux_30 __aux__vars8(X2,X1,X3).
__type_values values(X1,X2) :- __aux_32 X2, __aux_31 X1.
__aux_30 __aux__vars8(X1,X2,X3) :- __type_values values(X4,X1), __type_values values(offset(X2,X4),X3).
__aux_32 X1 :- __aux_30 __aux__vars8(X2,X3,X1).
__aux_29 X1 :- __aux_27 __aux__vars7(X2,X1,X3).
__aux_27 __aux__vars7(X1,X2,X3) :- __type_values values(offset(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_28 offset(X1,X2) :- __aux_27 __aux__vars7(X1,X3,X2).
__type_values values(X1,X2) :- __aux_29 X2, __aux_28 X1.
__aux_25 offset(X1,X2) :- __aux_24 __aux__vars6(X1,X3,X2).
__aux_24 __aux__vars6(X1,X2,X3) :- __type_values values(offset(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_26 X2, __aux_25 X1.
__aux_26 X1 :- __aux_24 __aux__vars6(X2,X1,X3).
__aux_19 X1 :- __aux_18 __aux__vars5(X2,X3,X4,X1).
__aux_18 __aux__vars5(X1,X2,X3,X4) :- __type_values values(X5,address field(X2,X1)), __type_values values(X4,address field(X5,X3)).
__aux_21 field(X1,X2) :- __aux_23 X2, __aux_22 X1.
__type_values values(X1,X2) :- __aux_20 X2, __aux_19 X1.
__aux_20 address X1 :- __aux_21 X1.
__aux_23 X1 :- __aux_18 __aux__vars5(X2,X3,X1,X4).
__aux_22 field(X1,X2) :- __aux_18 __aux__vars5(X2,X1,X3,X4).
__aux_15 __aux__vars4(X1,X2,X3) :- __type_values values(field(X5,X3),X2), __type_values values(X5,address X4), __type_values values(X1,address X4).
__aux_17 X1 :- __aux_15 __aux__vars4(X2,X1,X3).
__type_values values(X1,X2) :- __aux_17 X2, __aux_16 X1.
__aux_16 field(X1,X2) :- __aux_15 __aux__vars4(X1,X3,X2).
__aux_13 field(X1,X2) :- __aux_12 __aux__vars3(X1,X3,X2).
__aux_12 __aux__vars3(X1,X2,X3) :- __type_values values(field(X4,X3),X2), __type_values values(X4,address X1).
__type_values values(X1,X2) :- __aux_14 X2, __aux_13 X1.
__aux_14 X1 :- __aux_12 __aux__vars3(X2,X1,X3).
fun_main nil.
__type_values values(X1,X2) :- __aux_11 X2, __aux_10 X1.
__aux_11 0 :- fun_main nil.
__aux_10 main_return :- fun_main nil.
__aux_8 x2 :- __aux_7 __aux__vars2 X1.
__aux_7 __aux__vars2 X1 :- fun_main nil, __type_values values(y,X1).
__aux_9 X1 :- __aux_7 __aux__vars2 X1.
__type_values values(X1,X2) :- __aux_9 X2, __aux_8 X1.
__type_values values(X1,X2) :- __aux_5 X2, __aux_6 X1.
__aux_6 y :- __aux_3 __aux__vars1 X1.
__aux_5 X1 :- __aux_3 __aux__vars1 X1.
__aux_3 __aux__vars1 X1 :- fun_main nil, __type_values values(x,X1).
__aux_5 X1 :- __aux_3 __aux__vars1 X1.
__aux_4 x1 :- __aux_3 __aux__vars1 X1.
__aux_3 __aux__vars1 X1 :- fun_main nil, __type_values values(x,X1).
__type_values values(X1,X2) :- __aux_5 X2, __aux_4 X1.
__aux_2 4 :- fun_main nil.
__aux_1 x :- fun_main nil.
__type_values values(X1,X2) :- __aux_2 X2, __aux_1 X1.
*)
