Fixed small bug
Merge branch 'master' into ForAll
Old files, not really working
Moved to addon. Sceleton working
Traverses and inserting of comments working
Merge branch 'master' into ForAll
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
Code reorganization with insertStringsIM
Better name hack for outputs
Coalesced analysis, and code reorganization (Maybe)
Fixed splitUpS and coalesce confusion
Simple cost model
Big code reorganization of IMData
More detailed Costs with CostT
Big code restructurization again. List of Actions, loopfactors
Small fixes