Assertion list for term "avoid faucet".

Results from Ascent++: 1
leak CapableOfavoid faucet 0.27