Text this: Size-Change Termination, Monotonicity Constraints and Ranking Functions