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.