added sublogics to logic graph and removed failing instance implementation
Merge branch 'master' into 1376-sublogics_output

Conflicts:
	Logic/LGToXml.hs
added json logic graph output
Merge pull request #1379 from spechub/1376-sublogics_output

added sublogics to logic graph