Assertion list
trap (primary) → UsedFor
Results from Ascent++: 4
trap → UsedFor → each configuration 0.27
trap → UsedFor → snake 0.26
trap → UsedFor → mole control 0.25
trap → UsedFor → trapping 0.25