Properly handle --no-assumptions
Refactored remove_zero_init
Output def-use analysis: fixed bugs and improved level of detail in tracking assignments
When available, print detailed contents of argv
Added option --max-argc and argv environment construction