Definitional Trees : Coding Phase - Restructuring the XSymbol class

Hello all,

Over the last few days I worked on building the pseudo-code for the expected H function for the example of integer_division_by_2. There were many problems and cases that were not handled which I accordingly solved by discussing with Prof.Sergio Antoy. I also worked on making the code more concise and readable by defining expression constructors like make_append, make_nil, etc.

I'm now working on restructuring the XSymbol class to easily handle the cases in the H function. Post which I will work on the next function namely N.

My progress can be tracked here