Right now, we lower each AST in a trace separately with an arg substitution. This makes us repeat lowering an edge contracting the same protocol AST since each time its a different arg substitution. If we lowering each protocol once, then edge contract, and then make copies for each argument substitution it'll be more efficient.
Right now, we lower each AST in a trace separately with an arg substitution. This makes us repeat lowering an edge contracting the same protocol AST since each time its a different arg substitution. If we lowering each protocol once, then edge contract, and then make copies for each argument substitution it'll be more efficient.