Vorbedingung verschärfen, Nachbedingung abschwächen
V' => V, N => N', {V} P {N} ----------------------------- {V'} P {N'}