public void Rule5(float dt, World world){
switch (s5)
{
case -1:
if(((((Battle.IsSome) && (((LocalFleets) == (0))))) && (((Battle.Value.AttackingFleets.Count) > (0)))))
{
goto case 13; }else
{
s5 = -1;
return; }
case 13:
___new_owner50 = Battle.Value.AttackingFleets.Head().MyFleet.Owner;
___fleets_to_add51 = (
(Battle.Value.AttackingFleets).Select(__ContextSymbol66 => new { ___f55 = __ContextSymbol66 })
.Where(__ContextSymbol67 => ((((__ContextSymbol67.___f55.MyFleet.Owner) == (___new_owner50))) && (((__ContextSymbol67.___f55.MyFleet.Ships) > (0)))))
.Select(__ContextSymbol68 => __ContextSymbol68.___f55.MyFleet.Ships)
.Aggregate(default(System.Int32), (acc, __x) => acc + __x));
Owner = (new Just<Player>(Battle.Value.AttackingFleets.Head().MyFleet.Owner));
LocalFleets = ___fleets_to_add51;
s5 = -1;
return;
default: return;}}