rewrite prop<-() in C

rewrite prop<-() in C #697