Compute the weakest precondition for the following selection statement and postconditions:

if (x < y)

x = x + 1

else

x = 3 * x

{x < 0} (this is the postcondition)