+ * constant expression evaluation (2 + 5 ==> 7, 3 < 2 ==> false)
+ * Default: opt_constant_folding == 1.
+ */
+void set_opt_constant_folding(int value);
+
+/** Enables/Disables algebraic simplifications.
+ *
+ * If opt_algebraic_simplification == 1 perform