A   Analysis options

1. communication and migration analysis:
   1. there are several level of accuracy for describing markers:
      • uniform: markers are just abstracted away,
      • low: the first component of each label pairs are abstracted away,
      • high: markers are fully described;
      
      
   2. grammars shape can be simplified:
      • none: no simplifications are performed,
      • collision: grammar are simplified by collapsing similar states, without losing any information;
2. Content analysis:
   1. several numerical domains are available:
      • disabled: content analysis is disabled,
      • intervals: we use the non-relational domain of intervals[1],
      • affine equality and intervals: we use a product between affine equality domain[7] and the intervals[1],
      • octagons: we use the octagonal domain[10],
      • abstract multi-set: we use a disjunctive completion based domain, named abstract multi-set.
   2. the number of numerical variable can be set:
      • one: only one variable,
      • linear: as many variables as program points,
      • twice: twice variables as program points,
      • quadratic: the number of variables is quadratic with respect with the number of program points.