[Mathlib-develop] Tree Analyser changes

[mark <msp...@ya...>]

Hi,

I'm currently working on some changes to the TreeAnalyser class in order 
to get more detailed information from it. So far I've changed the code 
for if-then tokens so they display correctly (it had been broken when 
elseif support was added)

I'm going to work on displaying functions. In particular I want user 
functions to show the code of the function. Though handling recursive 
functions might be a problem.

Best Regards

Mark Sparshatt