Macro cvlr_assume 

macro_rules! cvlr_assume {
    ($cond: expr $(, $desc: literal)?) => { ... };
}