simplify hoare

[make-github-pseudonymous-again]

• use a >= b instead of b <= a
• use > and < instead of >= and <=
• reuse x variable instead of assigning to t