+ true_statement
+ "1&1"
+
+ true_statement
+ "0|1"
+
+ true_statement
+ "0^1"
+
+ true_statement
+ "seqfield4[1]==2"
+
+ true_statement
+ "arrfield1[1]==2"
+
+ true_statement
+ "arrfield1[1]==2"
+
+ true_statement
+ "arrfield3[1]==2"
+
+ true_statement
+ "seqfield3[1]==2"
+
+ true_statement
+ "1 | (1 | (1 | 1))"
+
+ true_statement
+ "1 >= (1 >= (1 >= 1))"
+
+ true_statement
+ "0x101 & 0x100 == 0x100"
+
+ true_statement
+ "0x101 | 0x10100 == 0x10101"
+
+ true_statement
+ "0xF00F0F ^ 0xFF0F00 == 0x0F000F"
+
+ true_statement
+ "arrfield1[2] & 1 == 1"
+
+ true_statement
+ "arrfield1[2] | 0x111000 == 0x111003"
+
+ true_statement
+ "(arrfield1[0] | arrfield1[1] | arrfield1[2]) == 0x3"
+
+ true_statement
+ "seqfield4[2] & 1 == 1"
+
+ true_statement
+ "seqfield4[2] | 0x111000 == 0x111003"
+