Assertion list
flax (primary) → SymbolOf
Results from Ascent++: 1
flax → SymbolOf → purity 0.34