open fun verify(tx: TransactionForContract, inputs: List<S>, outputs: List<S>, commands: Collection<AuthenticatedObject<CommandData>>, token: Issued<T>): Set<CommandData>
Return
the set of commands that are consumed IF this clause is matched, and cannot be used to match a
later clause.