code: def add_conditional_clause(self, clause):
          
          clause.set_context_id(self.context_counter)
          self.context_counter += clause.get_context_size()
          self.conditionals.append(clause)
docs: Adds a iff clause to this statement
  
          :param clause: The clause that will be added to the iff statement
          :type clause: ConditionalClause