Title: Automatic Termination Analysis for Functional and Imperative Programs