Add data flow to cfg
Add simple test case and complete simple cfg