kframework/k — pull request #480 by dwightguth (2014-05-21 15:08:17+00:00)
Title: move FlattenTerms before ResolveSyntaxPredicates

@traiansf please review