BooleanWeight.normalize(float) doesn't normalize prohibited clauses?