semtrex dumper now less profligate with parens, and fixed bug in matching multiple / sequences