tolerated pairs was a Set, now is a SortedSet; added dead (for now) code in the
print_visitor that prints the tolerated pairs
disallowing row multiplicity for line values; now every line value is exactly
one content and exactly one row (line position)