IECCheckerAnalysis
module Cyclomatic_complexity : sig ... end
module Declaration_analysis : sig ... end
module Unused_variable : sig ... end
module Use_define : sig ... end