Button:Default

{
  "stack": "<stack trace above>",
  "message": "Error: Unexpected quantifier"
}