Function invariant_except_break 

pub fn invariant_except_break<A>(_a: A)