Assertion list for term "satisfy the ssa condition".

Results from Ascent++: 1
triangle CapableOfsatisfy the ssa condition 0.31