Text this: Ranking Functions for Size-Change Termination II