A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs