propagate guid to asts