in the form of from->to because I am lazy, see encodeEdge
Optional
if given, the dataflow graph will only focus on the "important" parts
in the form of from->to because I am lazy, see encodeEdge