Hassel-c assumes that out ports are sorted. Explains why we weren't seeing any output!
Hassel-c assumes that out ports are sorted. Explains why we weren't seeing any
output!

jmiserez/sts,jmiserez/sts,ucb-sts/sts,ucb-sts/sts