add extra id for globalVariable; fix propagate bug