Takes an equality of messages across statements and returns the MetaStatement to be used in the proof.
MetaStatement
Map with key as the statement index and value as the message names of that statement that are to be proved equal and the message structure.
Takes an equality of messages across statements and returns the
MetaStatement
to be used in the proof.