Macro cvlr_assume_lt 

macro_rules! cvlr_assume_lt {
    ($lhs:expr, $rhs:expr $(, $desc:literal)?) => { ... };
}