Adding branch push instructions