Merge pull request google#236 from regehr/limit-lhs-size

give souper an easy way to avoid triggering degeneracies (mostly in K…