Reasons for Raw pointer rewrite failure

[shinmao]

Hi, I tried to run CROWN on my case. It seems that CROWN can't rewrite the target raw pointer.
The analysis result of CROWN show my target raw pointer is Transcient, Mut, and Ptr. If I want to debug why it is not rewritten as reference, could you give me some suggestion to start at?

[shinmao]

Here are more details: hope it can help
The raw pointer points to a struct. The analysis result shown above is on the struct; however, the analysis results on the subfields pointers are all Unknown. Could that be the reason for the rewrite failure?