RequirementGrammar.g4: mismatched input expecting POSITIVE_INT #1
Description
This issue is related to the run of the test3. The grammar can not parse the boundedexistencepattern.
However the pattern is not even described in the patterns_to_ltl file under resource