Assertion list
flex (primary) → MadeOf
Results from Ascent++: 1
flex → MadeOf → pvc 0.34