Expand ControlFlow test
Remove unused code
Add initial values to all variable declarations
Add loop head heuristic
Add optimistic propagation to optimizer
Clarify copyright notice
Fix bug in variable propagation