private IQTree liftChildConstructionNode(ConstructionNode newChildRoot, UnaryIQTree newChild, IQProperties liftedProperties) {

        UnaryIQTree newOrderByTree = iqFactory.createUnaryIQTree(
                applySubstitution(newChildRoot.getSubstitution()),
                newChild.getChild(),
                liftedProperties);

        return iqFactory.createUnaryIQTree(newChildRoot, newOrderByTree, liftedProperties);
    }
private IQTree liftChildConstructionNode ( ConstructionNode newChildRoot , UnaryIQTree newChild , IQProperties liftedProperties ) { UnaryIQTree newOrderByTree = iqFactory . createUnaryIQTree ( applySubstitution ( newChildRoot . getSubstitution ( ) ) , newChild . getChild ( ) , liftedProperties ) ; return iqFactory . createUnaryIQTree ( newChildRoot , newOrderByTree , liftedProperties ) ; }
Lifts the construction node above and updates the order comparators