Fix the way that how to annotate struct IslAstUser*