<taskModel about="urn:cetask.wpi.edu:examples:GHIJ" xmlns="http://ce.org/cea-2018">
  <task id="G">
    <subtasks id="decomp1">
      <step name="h" task="H"/>
    </subtasks>
    <subtasks id="decomp2">
      <step name="j" task="J"/>
      <applicable> $this.success == false </applicable>
    </subtasks>
  </task>
  <task id="H">
    <postcondition> false </postcondition>
    <subtasks id="decomp3">
      <step name="i" task="I"/>
    </subtasks>
    <subtasks id="decomp4">
      <step name="j" task="J"/>
      <applicable> $this.success == false </applicable>
    </subtasks>
  </task>
  <task id="I">
    <postcondition> false </postcondition>
  </task>
  <task id="J">
    <postcondition> false </postcondition>
  </task>
</taskModel>