Macro snarkvm_circuit_environment::assert_scope_fails

macro_rules! assert_scope_fails {
    () => { ... };
    ($num_constants:expr, $num_public:expr, $num_private:expr, $num_constraints:expr) => { ... };
    ($case:expr, $num_constants:expr, $num_public:expr, $num_private:expr, $num_constraints:expr) => { ... };
}