Move transaction-invariants into producer