Question

Write a proof tree for the following judgement: y then m := x * x else m := y*y fi, {x := 10, y :=20} >\ {x := 10, y:= 20, m := 400}