This is DIALYZER version 2.1.0 DIALYZER is a DIscrepany AnaLYZer for ERlang programs. Copyright (C) Tobias Lindahl <tobiasl@it.uu.se> Kostis Sagonas <kostis@it.uu.se>