Add a clean configuration for expr2c

This configuration can be used in place of expr2cleanc

Author: thk123

src/ansi-c/expr2c.cpp

@@ -36,6 +36,12 @@ expr2c_configurationt expr2c_configurationt::default_configuration{true,
                                                                    "TRUE",
                                                                    "FALSE"};
 
+expr2c_configurationt expr2c_configurationt::clean_configuration{false,
+                                                                 false,
+                                                                 false,
+                                                                 "1",
+                                                                 "0"};
+
 /*
 
 Precedences are as follows. Higher values mean higher precedence.

src/ansi-c/expr2c.h

@@ -53,6 +53,10 @@ struct expr2c_configurationt final
   /// This prints a human readable C like syntax that closely mirrors the
   /// internals of the GOTO program
   static expr2c_configurationt default_configuration;
+
+  /// This prints compilable C that loses some of the internal details of the
+  /// GOTO program
+  static expr2c_configurationt clean_configuration;
 };
 
 std::string expr2c(const exprt &expr, const namespacet &ns);