Pick the correct precondition for the code segment x = x 1.

{ }

y = x - 1

{y > 0}

Question 2 options:

	{x > 0}
	{x > 1}
	{x = x}