Discuss Syntax Extension for CPP_OPTIONS.h configuration file.
CPP_OPtions.h configuration file is a file where the user can specify several C Preprocessor Options. Some options are required by specific configuration parameter. We can take that concern by the user by generating adequate CPP_Options.h automatically. However, there are also some preprocessor options that can be changed arbitrarily. In this case, we need to extend the syntax of our DSL. It is important to note, that we must also check if the UVIC model has a similar concept to the CPP_Options.