Proof of a if statement total correctness

The program I need to prove is

if(x>y){
   z=x;
}else{
   z=y;
}

And I need to show that The picture of the formula (where the P here should be the program above) is vaild, what I can do is to prove its partial correctness, but how to prove its total correctness?