https://thelogictutorial.blogspot.com/2024/03/translation-of-assignment-statements-in.html