Macro cvlr_assume_eq 

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