We should consider a move to refactor the code with proper user of [Dialyzer](http://www.erlang.org/doc/man/dialyzer.html), giving our code as much static verification as possible in Erlang.
We should consider a move to refactor the code with proper user of Dialyzer, giving our code as much static verification as possible in Erlang.