Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems