new tests
some fixes related to variable naming and variable tagging
added some comments
display improvement of dereferences
display improvement for 'if ... else if ...' construct
added a few negation simplification
added a way to recursively simplify the expression
added lots of simplifications for if() statements
small utility function for removing gotos cleanly