public void Rule4(float dt, World world){
switch (s4)
{
case -1:
if(!(((((Battle.IsSome) && (Battle.Value.DefenceLost.IsSome))) || (((Battle.IsSome) || (((Owner.IsNone) || (true))))))))
{
s4 = -1;
return; }else
{
goto case 0; }
case 0:
if(((Battle.IsSome) && (Battle.Value.DefenceLost.IsSome)))
{
goto case 2; }else
{
if(Battle.IsSome)
{
goto case 3; }else
{
if(Owner.IsNone)
{
goto case 4; }else
{
if(true)
{
goto case 5; }else
{
s4 = 0;
return; } } } }
case 2:
LocalFleets = ((LocalFleets) - (Battle.Value.DefenceLost.Value));
s4 = -1;
return;
case 3:
LocalFleets = LocalFleets;
s4 = -1;
return;
case 4:
LocalFleets = 0;
s4 = -1;
return;
case 5:
count_down3 = UnityEngine.Random.Range(1,3);
goto case 11;
case 11:
if(((count_down3) > (0f)))
{
count_down3 = ((count_down3) - (dt));
s4 = 11;
return; }else
{
goto case 9; }
case 9:
LocalFleets = ((LocalFleets) + (1));
s4 = -1;
return;
default: return;}}