Text this: Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division