def _assert(self, submodel, interpretation): return (Variable.get_name(self.x) == Variable.get_name(self.y))
def _assert(self, submodel, interpretation): return Variable.get_name(self.v) == self.n
def _assert(self, submodel, interpretation): return Variable.get_name(self.var) == self.name_as_number