{
  "shadowCopy": false,
  "methodDisplay": "method",
  "diagnosticMessages": true,
  "preEnumerateTheories": false
}