Pushing basic block