Ascent++ | single threaded

Assertion list for term "single threaded".

Results from Ascent++: 2

benchmark → HasProperty → single threaded	0.38
queue → HasProperty → single threaded	0.25