An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer