Text this: Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition