Added comment explaining StateReturn.compareTo().
Merge pull request #344 from kframework/newparser-statereturn-compareto

Added comment explaining StateReturn.compareTo().