fun verify(tx: TransactionForContract): Unit
verify() with some examples of what needs to be checked.