MAYBE 2.2 _and_ x _and_ y z _and_ _and_ x y z _or_ x _or_ y z _or_ _or_ x y z _xor_ x y _xor_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _and_ x y _and_ y x _or_ x y _or_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _and_ x y _and_ y x _xor_ x _xor_ y z _xor_ x y _or_ x _or_ y z _or_ x y _or_ x _or_ y z _or_ _or_ x y z _xor_ x y _xor_ y x _and_ x _and_ y z _and_ x y _or_ x y _or_ y x _and_ x _and_ y z _and_ _and_ x y z U102 tt A B _and_ A B _xor_ A A isBool A U51 tt A B isBool B _and_ A A isBool A U21 tt A B C isBool B U133 tt B U' equal _isNotEqualTo_ B true true U62 tt U' U equal _isNotEqualTo_ U U' true isBool _xor_ V1 V2 U201 isBool V1 V2 U51 tt A B U52 isBool B A B U151 tt V2 isBool V2 _isEqualTo_ U U' U61 isS U' U' U isBool not_ V1 U211 isBool V1 isBool _xor_ V1 V2 isBool V1 U141 tt U U142 isS U U U52 tt A B _xor_ A _and_ A B _or_ A B U101 isBool A A B U22 tt A B C U23 isBool C A B C isBool not_ V1 isBool V1 _implies_ A B U51 isBool A A B U23 tt A B C _and_ A B _isEqualTo_ U U U71 isS U _implies_ A B isBool A not_ A isBool A U62 tt U' U _isNotEqualTo_ U U' U151 tt V2 U152 isBool V2 U191 tt V2 isBool V2 if_then_else_fi B U U' U131 isBool B B U' U _and_ A _xor_ B C U21 isBool A A B C U81 tt U' U U82 isS U U' U U22 tt A B C isBool C U131 tt B U' U U132 isS U' B U' U U52 tt A B not_ _xor_ A _and_ A B U82 tt U' U _isEqualTo_ U U' if_then_else_fi true U U' U141 isS U' U U171 tt V2 U172 isUniversal V2 U161 tt V2 isBool V2 isBool _isNotEqualTo_ V1 V2 U181 isUniversal V1 V2 _isNotEqualTo_ U U' U81 isS U' U' U _xor_ false A isBool A U101 tt A B U102 isBool B A B U61 tt U' U U62 isS U U' U U133 tt B U' U134 equal _isNotEqualTo_ B true true U' if_then_else_fi B U U' isBool B U23 tt A B C _and_ A C _xor_ false A U121 isBool A A U132 tt B U' U U133 isS U B U' _or_ A B isBool A isBool _isEqualTo_ V1 V2 U171 isUniversal V1 V2 isBool _or_ V1 V2 U191 isBool V1 V2 _and_ false A U31 isBool A _and_ A _xor_ B C isBool A U201 tt V2 isBool V2 isBool _and_ V1 V2 isBool V1 U52 tt A B _and_ A B _and_ true A isBool A U161 tt V2 U162 isBool V2 U62 tt U' U U63 equal _isNotEqualTo_ U U' true _and_ A A U11 isBool A A U82 tt U' U if_then_else_fi _isEqualTo_ U U' false true U21 tt A B C U22 isBool B A B C U133 tt B U' _isNotEqualTo_ B true U181 tt V2 U182 isUniversal V2 U23 tt A B C _xor_ _and_ A B _and_ A C _isNotEqualTo_ U U U91 isS U isBool _and_ V1 V2 U151 isBool V1 V2 isBool _implies_ V1 V2 isBool V1 U201 tt V2 U202 isBool V2 _xor_ A A U111 isBool A U221 tt A _xor_ A true isBool _or_ V1 V2 isBool V1 U102 tt A B _xor_ A B U102 tt A B _xor_ _and_ A B _xor_ A B not_ A U221 isBool A A _and_ false A isBool A _and_ true A U41 isBool A A U101 tt A B isBool B U191 tt V2 U192 isBool V2 isBool _implies_ V1 V2 U161 isBool V1 V2 _and_ _and_ true A _1 _and_ U41 isBool A A _1 _and_ _and_ false A _1 _and_ U31 isBool A _1 _and_ _and_ A _xor_ B C _1 _and_ U21 isBool A A B C _1 _and_ _and_ A A _1 _and_ U11 isBool A A _1 _xor_ _xor_ false A _1 _xor_ U121 isBool A A _1 _or_ _or_ A B _1 _or_ U101 isBool A A B _1 _xor_ _xor_ A A _1 _xor_ U111 isBool A _1 U132 tt B U' U U133 isS U B U' false U133 tt B U' U134 equal _isNotEqualTo_ B true true U' false U61 tt U' U U62 isS U U' U false U171 tt V2 U172 isUniversal V2 false if_then_else_fi true U U' U141 isS U' U false U82 tt U' U _isEqualTo_ U U' false U81 tt U' U U82 isS U U' U false U62 tt U' U _isNotEqualTo_ U U' false _implies_ A B isBool A false _isEqualTo_ U U U71 isS U false _or_ x y _or_ y x _or_ x _or_ y z _or_ _or_ x y z _or_ x _or_ y z _or_ x y true _or_ A B isBool A false U181 tt V2 U182 isUniversal V2 false _implies_ A B U51 isBool A A B false U133 tt B U' _isNotEqualTo_ B true false _isNotEqualTo_ U U' U81 isS U' U' U false _isNotEqualTo_ U U U91 isS U false _or_ A B U101 isBool A A B false U101 tt A B U102 isBool B A B false U102 tt A B _xor_ _and_ A B _xor_ A B false U102 tt A B _xor_ A B false U101 tt A B isBool B false U82 tt U' U if_then_else_fi _isEqualTo_ U U' false true false if_then_else_fi B U U' U131 isBool B B U' U false U131 tt B U' U U132 isS U' B U' U false if_then_else_fi B U U' isBool B false U141 tt U U142 isS U U false U62 tt U' U U63 equal _isNotEqualTo_ U U' true false _isEqualTo_ U U' U61 isS U' U' U false U51 tt A B U52 isBool B A B false U52 tt A B not_ _xor_ A _and_ A B false not_ A U221 isBool A A false U221 tt A _xor_ A true false not_ A isBool A false U52 tt A B _xor_ A _and_ A B false U52 tt A B _and_ A B false U133 tt B U' equal _isNotEqualTo_ B true true false U62 tt U' U equal _isNotEqualTo_ U U' true false U51 tt A B isBool B false U102 tt A B _and_ A B false U23 tt A B C _and_ A C _and_ x _and_ y z _and_ _and_ x y z _and_ x _and_ y z _and_ x y _and_ x y _and_ y x _and_ A _xor_ B C U21 isBool A A B C U23 tt A B C _and_ A B U21 tt A B C U22 isBool B A B C U22 tt A B C U23 isBool C A B C true Failed! NaTT 1.7