Fail fast for ErroneousTree#1255

aosen-xiong wants to merge 2 commits into

eisop:mastereisop/checker-framework:masterfrom

aosen-xiong:ErroneousTree-testaosen-xiong/checker-framework:ErroneousTree-testCopy head branch name to clipboard