x := z - 43 {x > y + 7}
The post condition is
{x > y + 7}
We substitute x by (z - 43) and obtain
{z - 43 > y + 7}
So the pre condition is
{z > y + 50}
