Fixed dataflow framework to not double count nodes in worklist
Added Github analysis code