Potential bug in granularity check

[tabiosg]

Is there a purpose for why the two if statements are separated and have the same conditions? I would assume that this line intended to be

if (pointer(A_true)->size +
            pointer(B_true)->size +
            pointer(C_true)->size > granularity)
        {

instead of

if (pointer(A_false)->size +
            pointer(B_false)->size +
            pointer(C_false)->size > granularity)
        {

HermesBDD/src/node.cpp

Line 340 in 0336f03

pointer(C_false)->size > granularity)

[luigicapogrosso]

Dear @tabiosg, thank you. We will thoroughly review the information you gave us and update you.