code: @Override
      public IQ liftBinding() {
          IQTree newTree = tree.liftBinding(getVariableGenerator());
          return newTree == tree
                  ? this
                  : iqFactory.createIQ(projectionAtom, newTree);
      }
docs: /*
  Assumes that trees declared as lifted will return themselves