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