if not self.insersect_with_group(groups[0], phi.parent.op1, phi):
          var = phi.parent.op1
          phi.parent_statement.remove()
        else:
          name = 'v%u' % (self.var_n, )