Constant with_negative_coherence 

pub const with_negative_coherence: Symbol;