Circuit to test Range Check Overflow

range-check.circom

pragma circom 2.1.0;

include "node_modules/circomlib/circuits/bitify.circom";

template Example () {
    signal input a;

    log(a);

    // prevent overflow of leafSum 
    component aRangeCheck = Num2Bits(252);
    aRangeCheck.in <== a;

}

component main = Example();