Consturct the CFG for simple assignments and if statements