New lint check: exprIsHNF = True and alts = [] is bogus