あー

例によって暇空を絡めた訴訟を提起
↓
暇空が補助参加しようとしてくる
↓
取り下げ

という取り下げまで予定に含めた提起なのかな？
仮に補助参加しようとしなかったら取り下げるのだろうか？