https://thelogictutorial.blogspot.com/2024/03/syntax-directed-translation-schemes.html