Rewriting-based Check of Chase Termination