Make map10 test runnable.
Swap the order in which arrays and arrays sizes are passed.

Sizes now come first.
Fix placement of sizes in internaliseParamValues.
Make fusion1 test runnable.
Add missing consumedInExp case for DoLoop.
Fix consumedInBody.
Simplify DeadVarElim.
Make fusion2 test runnable.
Add unfinished sufficient condition work.
Fix input reading in C code generator.
Remove algebraic simplification rules from simplifier.
Add separate version module that exports version information.
Remove unused monad-loops dependency.
Fill out some holes in SuffCond module.
Some more work on sufficient condition extraction.
More work on sufficient condition extractions.

Calls to the predicates are now actually updated!

Still cannot handle the running example from the paper, for some
reason.
Do not generate a predicate if we did not actually improve anything.
Improve range tracking in symbol table.

Can now also track the ranges of array elements.
Fix typo
merge