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