If I can't find a LUB for the rewrite, then use K. This is a temporary fix.
Merge pull request #667 from kframework/fixParserNPE

If I can't find a LUB for the rewrite, then use K. This is a temporary fix.