prerequisites: ('-': not satisfied)
  + 1/a succeeded
outputs: ('-': not completed)
