Don't lint erroneous programs.