Simulation of partial stacks, more accurate representation of && and || after value propagation