Fixed negative value in inclusion proof #12

Closed Jason-LI2020 closed 1 year ago