add invocation to sewing prover