Fix possible double dispatch of terminated
Fix possible double dispatch of terminated

mathieuanthoine/flump,mathieuanthoine/flump,mathieuanthoine/flump,tconkling/flump,funkypandagame/flump,tconkling/flump,funkypandagame/flump