type T_Choice is (Chaos, Finality, Equality);
  
   function Action return T_Choice;

VChaos    : Boolean := False;
   VFinality : Boolean := True;
   VEquality : Boolean := False;
   
 
 
function Action return T_Choice is      
      Choice : T_Choice;      
   begin      
      if VEquality then
     Choice := Random(Choice_Gen);
     case Choice is
        when Chaos =>
           VChaos := not VChaos;      
               VEquality := not VEquality;
           Choice := Equality;
        when Finality =>
           VFinality := not VFinality;
           VEquality := not VEquality;
           Choice := Equality;
        when Equality =>
           Choice := Equality;
     end case;     
     return choice;
      elsif VChaos and not VFinality then
     VFinality := not VFinality;
     VEquality := not VEquality;
     return Chaos;
      elsif not VChaos and VFinality then
     VChaos := not VChaos;
     VEquality := not VEquality;
     return Finality;
      else
     VFinality := not VFinality;
     VChaos := not VChaos;
     VEquality := not VEquality;
     return Equality;
      end if;           
   end Action;