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