Test description does not parse when it contains a single open square bracket

[MeAmAnUsername]

Summary
According to the documentation, a single open square bracket ([) is allowed in test descriptions as it is not a marker. However, it does not work: the file fails to parse.

Todo

• Create syntax tests with a single open square bracket in the description
• Fix bug (see 'implementation details' below)

Reproduction steps
Given: An example test case from PIE, but it should happen with any language:

test name ends with [ [[ data Foo[ = foreign java org.example.test.Foo {} ]] parse fails

Expected: The SPT file parses
Actual: The SPT file does not parse, error at the first [: Syntax error, not expected here: '['

Implementation details
This is caused by line 137 of the grammar: Description = (~[\n\r\[])+
It does not allow any open square brackets in the description, while it should allow one.
This could be resolved by making a special case for a single [:

Description = (~[\n\r\[]|\[~[\[])+

Note: I am not completely sure that this will work as is