finish rsa->p->d propagation and *(rsa->p->d) or d[i]
Merge branch 'master' of https://github.com/chenkexin/cil-snippet