Assertion list
parameter (aspect of function ) → UsedFor
Results from Ascent++: 1
parameter → UsedFor → session pooling 0.25