This should not adversely affect the rest of the logic as it is only ever entered in cases in which we would have asserted false before

Enables us to instrument x509