group: tools short: The DIALYZER, a DIscrepancy AnaLYZer for ERlang programs.