spechub/Hets — pull request #1345 by cmaeder (2014-08-26 16:55:01+00:00)
Title: 1343 overlap obligation

fixes #1342 by renaming variables if a clash is possible.

@mcodescu please review (this patch will clash with #1337)