Module commit 

Functions

try_commit

Execute the two-chain commit rule: When we get C_v(C_v(B_k)), commit the inner QC’s block and all uncommitted ancestors