termination checking

1. REDIRECT Termination_analysis {{Redirect category shell|

{{R from alternative name}}

}}