def __eq__(self, other):
    return (isinstance(other, If) and (other.cond == self.cond) and (other.cnsq == self.cnsq) and (other.altr == self.altr))
def __eq__(self, other):
    return (isinstance(other, If) and (other.cond == self.cond) and (other.cnsq == self.cnsq) and (other.altr == self.altr))