Mostly implemented high and low level graphs construction from George Kelly's paper.