Module expression_claim 

Structs

ExpressionClaimAir

ExpressionClaimCols

For each proof, this AIR will receive 2t interaction claims and t constraint claims. (2 interaction claims and 1 constraint claim per trace). These values are folded (algebraic batching) with mu into a single value, which should match the final sumcheck claim.