spechub/Hets — pull request #1354 by cmaeder (2014-09-04 16:03:48+00:00)
Title: collect completeness conditions #1330

fixes #1330.