Macro check_constraint 

macro_rules! check_constraint {
    ($index:expr, $evaluation:expr) => { ... };
    ($index:expr, $label:expr, $evaluation:expr) => { ... };
}

Helper to quickly test if a witness satisfies a constraint