kind2-mc/kind2 — pull request #207 by chsticksel (2014-12-31 19:12:27+00:00)
Title: Ignore redundant parentheses in S-expressions

Treat singleton lists in an S-expression are as identical to the enclosed S-expression