value numbering, your last push gives me seg fault on 10 and 11. maybe didnt push something?

Cheers