+def normalize_comparison_expression(counter, expression):
+ # TODO Unfake this
+ return fake_normalization(counter, expression)
+
+def normalize_boolean_expression(counter, expression):
+ # TODO Unfake this
+ return fake_normalization(counter, expression)
+