return "CASE WHEN " + m_left.explain(impliedTableName) + " THEN " +
m_right.m_left.explain(impliedTableName) + " ELSE " +
m_right.m_right.explain(impliedTableName) + " END";
}
return "(" + m_left.explain(impliedTableName) +
" " + type.symbol() + " " +
m_right.explain(impliedTableName) + ")";
}
}