Eng 6012 inexists sp

"having in subquery" tests should include the following cases:

    filter on agg of expression involving user parameter ('?').
    filter on agg of expression involving grand-parent tve
    filter on agg of expression involving parent tve
    filter on agg of local tve