* If the flag is turned on tail-recursion calls are optimized into loops.
*/
void set_opt_tail_recursion(int value);
+void set_opt_tail_recursion_verbose(int value);
+
+void set_opt_fragile_ops(int value);
/** Enable/Disable normalizations of the firm representation.