SideEffectChecker: return the assumption of overrideable getters as pure