misc changes to inccheck
Merge pull request #47 from ucsd-progsys/inccheck

misc changes to inccheck