Macro cvlr_assume_gt 

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