ddc-core-flow: implement graphOfBind to convert CNF to Graph