Termination_analysis