Assertion list for term "ideal phase".

Results from Ascent++: 1
concrete AtLocationideal phase 0.32