Assertion list for term "perfect phase".

Results from Ascent++: 1
concrete AtLocationperfect phase 0.40