Monotone Termination Analysis