'Adds a iff clause to this statement
:param clause: The clause that will be added to the iff statement
:type clause: ConditionalClause'

def add_conditional_clause(self, clause):

    clause.set_context_id(self.context_counter)
    self.context_counter += clause.get_context_size()
    self.conditionals.append(clause)
