@JvmStatic fun verify(tx: TransactionForContract): Unit
@JvmStatic fun verify(input: ContractState, output: ContractState, commandData: Command): Unit