Implemented conversion of the protocol params and effect conditions to JSON