Every user analysis has to be implemented as an ocaml module. The initial part of the file must include some instructions to load all the MURZ support modules, that is:
(* loading murz modules *) open Asa open Print open Cfg open Carrier open Utils
This allows the user to use, inside his (her) analysis, all MURZ functionalities: easy management of program abstract syntax tree and control flow graph (CFG), pretty-printing functionalities, advanced data types.