c1 c6 c2 c5 source 1 c3 c4 sink c7 c8 Compute Low-value Claim Consult Expert Set Checkpoint Check Liability Check Policy Set Checkpoint Compute High-value Claim Register as High-Value Claim Register as Low-Value Claim 1