Macro cvlr_assume_ge 

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