def add_transaction_clause(self, clause):
if not isinstance(clause, TransactionClause):<EOL><INDENT>raise StatementException('<STR_LIT>')<EOL><DEDENT>clause.set_context_id(self.context_counter)<EOL>self.context_counter += clause.get_context_size()<EOL>self.transactions.append(clause)<EOL>
Adds a iff clause to this statement

:param clause: The clause that will be added to the iff statement
:type clause: TransactionClause