Helium.Main.PhaseStaticChecks