Fix inference script and add a sanity check. #72

wmdietl merged 5 commits intotypetools:mastertypetools/checker-framework-inference:masterfrom

smillst:fixInferenceScriptsmillst/checker-framework-inference:fixInferenceScriptCopy head branch name to clipboard