Ascent++ | checked for leak

Assertion list for term "checked for leak".

Results from Ascent++: 2

cylinder → ReceivesAction → checked for leak	0.31
pool → ReceivesAction → checked for leak	0.28