After replacing "avg(v_cnt) > 3" with TVE, the post expression becomes "TVE > 3". The output of "avg" comes from an internal list "m_aggregateTypes". The real output for that postExpression is like " > 3".

I guess that I will start to working on the beauty of the names of these replaced TVEs.