Value propagation: move some Multi<Bool3> into binary simulation memory (BSM)