{
  "$schema": "http://json-schema.org/schema",
  "$id": "ControlFlowReplace",
  "title": "Control Flow Replace Options",
  "type": "object",
  "properties": {}
}