Introduce a simulation memory capable of storing binary values. Value propagation: store local variables in binary simulation memory.