Context-Free Languages of Countable Words -- Automatic Conflict Detection on Contracts