Differential_Game_Logic.Static_Semantics