':param antecedent: ``Expression`` for the antecedent
:param consequent: ``Expression`` for the consequent'

def __init__(self, antecedent, consequent):

    assert isinstance(antecedent, Expression)
    assert isinstance(consequent, Expression)
    self.antecedent = antecedent
    self.consequent = consequent
