25. Consider the pseudocode block below. Assume that the variables x and y are integers.
// Precondition: ????
x x + y
y x - y
x x - y
// Postcondition: (( x = 3 ) and ( y = 8 ))
Which of the following would be an appropriate precondition to guarantee the stated postcondition?
(A) ( x = 3 ) and ( y = 8 )
(B) ( x = 8 ) and ( y = 3 )
(C) ( x = 8 ) and ( y = 11 )
(D) ( x = 11 ) and ( y = 3 )
(E) ( x = 11 ) and ( y = 8 )
