We evaluate the protocols that are generated by these transformations with reference to the benchmarks extracted in section 2.
we show that one such transformation, dubbed Add Side Participants(ASP), yields protocols for querying and assertion that fulfill these benchmarks.