public void Rule3(float dt, World world){
switch (s3)
{
case -1:
___fleets_to_add30 = (
(LandingFleets).Select(__ContextSymbol63 => new { ___f34 = __ContextSymbol63 })
.Select(__ContextSymbol64 => __ContextSymbol64.___f34.MyFleet.Ships)
.Aggregate(default(System.Int32), (acc, __x) => acc + __x));
LocalFleets = ((LocalFleets) + (___fleets_to_add30));
s3 = -1;
return;
default: return;}}