dcPub, dcTop, dcBottom, instance ToCNF DCPriv
Merge branch 'master' of github.com:scslab/lio

Conflicts:
	lio/LIO/DCLabel.hs