'Replace every instance of variable with expression across every atom
in the clause
:param variable: ``Variable``
:param expression: ``Expression``'

def replace(self, variable, expression):

    return Clause([atom.replace(variable, expression) for atom in self])
