static void Main() { GlobalObjectsForCST.init(); SynthesizedPortion.SynthesizedSequence(); }
static void Main() { SynthesizedPortion.SynthesizedSequence(); check_Assertion(); }