previous optimizer fix to prevent pushpop screwup prevented to much, even correct cases