Should be 'severity' https://github.com/SRI-CSL/bixie/blob/master/src/main/java/bixie/Options.java#L83
