anchor.diff:      Looping : Loop option;
       Ports : Port list ;
       Condition : Condition list;
  -    EXIT : bool;
  +    Assign : Assign list;
  +    Exit : bool;
   }
   
   type Proc = {
       Condition : Guard option;
  -    Port :  string;
  +    Port : string;
       ProcBody : ConditionBody
   }
   
  
positive.code:     | Const of bool
  
  
  type Loop = {
          Ports : Port list ;
          Exit : bool;
  
negative.code: module AlvisSpec
  
  type ValueType =   
      | Int of int  
      | Float of float  
      | String of string 
  
  
  type ValueName = {
      Value : ValueType;
  