Make sure result type names are sorted to make it easier to compare results amounst tools.
Make sure result type names are sorted to make it easier to compare
results amounst tools.

symbooglix/boogie-runner,symbooglix/boogie-runner