code: private DistinctVariableOnlyDataAtom transformProjectionAtom(DistinctVariableOnlyDataAtom atom) {
          ImmutableList<Variable> newArguments = atom.getArguments().stream()
                  .map(renamingSubstitution::applyToVariable)
                  .collect(ImmutableCollectors.toList());
  
          return atomFactory.getDistinctVariableOnlyDataAtom(atom.getPredicate(), newArguments);
      }
docs: Renames the projected variables