bug fixed : balancing pushes and pops on each basic block