Moved to addon. Sceleton working
Traverses and inserting of comments working
Fixed comment bug
Merge branch 'master' into ForAll
Fixed comment bug again
Merge branch 'master' into ForAll
Range analysis (not working, need Ord (Exp a))
Conds propagated
Working range check with variable ranges, conditions and simple inequation solving
Code reorganization