Value propagation: replace [Multi<Bool3> &ret] with [Bool3 &ret] in the declaration of evalBoolean() function
Value propagation: remove Patch::results0