spechub/Hets — pull request #1379 by cmaeder (2014-10-21 13:59:18+00:00)
Title: added sublogics to logic graph

@tillmo
fixes #1376. All sublogics names are separated by newlines. If you want separate elements for every sublogic, let me know.