Ascent++ | die after final submission of the case

Assertion list for term "die after final submission of the case".

Results from Ascent++: 1

juror → CapableOf → die after final submission of the case

0.25