8.1 Changes in main.ml

• Load the new module (beginning of the file):

  ...
  open Utils
  open Live
  open Strong
  ...
  

• Register the analysis (line 50):

  ...
  ConstAnalisi.register cfg;
  LiveAnalisi.register cfg;
  StrongAnalisi.register cfg;
  ...