This test case tests the behavior of DigesterRuleParser.PatternStack, a specialized stack whose toString() method
returns a /-separated representation of the stack's elements. The tests ensure that
DigesterRuleParser.PatternStack.toString() returns the properly formatted string.