Assertion list for term "remain in the photodiode".

Results from Ascent++: 1
charge (aspect of capacitor) CapableOfremain in the photodiode 0.25