CFG visitAssign