bug fix: contextualization: forbidden predicates became part of the fragment. The bug didn't include unreachable tags but forbidden predicates between allowed tags became part of the fragment.