Termination of Rewriting with and Automated Synthesis of Forbidden Patterns