Macro cvlr_satisfy

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