https://fullsteamahead365.com/2019/09/08/sn-computer-science-autoalias-automatic-variable-precision-alias-analysis-for-object-oriented-programs/