Value propagation: store results in binary simulation memory.