adding testcases for pushdown feature