[{
  "name": "GRP136-1.p",
  "options": {
    "preorder": ["inverse", "multiply", "greatest_lower_bound", "least_upper_bound", "identity", "a", "b"]
  }
}]