precondition closer (runs after planner, before critic):
  for every task.preconditions:
    assert exists prior_task where prior_task.establishes(p)
  else: BLOCKER unverified_dependencies