Term_rewrite_system