Assertion list for term "two stable states".

Results from Ascent++: 2
latch HasAtwo stable states 0.40
output HasAtwo stable states 0.27