Assertion list
lcd (primary) → UsedFor

Results from Ascent++: 1
lcdUsedFor composition 0.25