a : AggreDist = NumericDist {
	AD_type = 0,
	AD_dist_classes = 3,
	AD_dist = [
		(2, 0.3),
		(5, 0.5),
		(8, 0.2)
		]
}

/*
VALUE_DEFINITIONS 13
  VALUE_DEFINITION 14
    a 23
    TYPE_REFERENCE 10
      AggreDist 23
    TAGGED_VALUE 19
      NumericDist 23
      RECORD 20
        ASSIGNMENT 22
          AD_type 23
          0 24
        ASSIGNMENT 22
          AD_dist_classes 23
          3 24
        ASSIGNMENT 22
          AD_dist 23
          ARRAY 17
            TUPLE 18
              2 24
              0.3 26
            TUPLE 18
              5 24
              0.5 26
            TUPLE 18
              8 24
              0.2 26
              */