}
private LogicalVariable translateExpression(ASTNode value, TranslationContext tCtx) throws SystemException {
switch (value.getTag()) {
case EXPRESSION: {
ExprNode node = (ExprNode) value;
return translateExprNode(tCtx, node);
}
case UNARY_EXPRESSION: {
UnaryExprNode ueNode = (UnaryExprNode) value;