A8-4-13 Address false positives caused by missing modelling of modifying operations for smart pointers for some standard libraries (such as libstdc++).