https://9dok.net/document/zwvm42gv-object-mutability-analysis-for-java-objects.html