Added command-line argument to control analysis behavior as well as the
level of debugging dump
Fully updated README
More bug fixes in the constraint collection phase