Abstraction of Conditional Term Rewriting Systems