- only calculate avail_out for the blocks in first step (like GVN-PRE)
- correctly update avail_out during load_insert
- do NOT WAW same stores

[r25660]