Question about Field Insensitive Objects Marking

[ArtisticFantasy]

Dear authors of SVF,

Thanks for this great tool. Recently I am learning about the implementation of DDA in SVF. I read the code implementation in the SVF and raise a question that, will all memory objects marked field insensitive in the previous Andersen analysis be considered field insensitive in the following Context DDA? If so, will this feature bring more false positives?