Assertion list
head (aspect of lizard ) → UsedFor
Results from Ascent++: 1
head → UsedFor → communication 0.25