Aunque es el más común y más comentado por su relevancia en la programación secuencial, la "precondición más débil" no es el único "transformador de predicados" existente.