Erlang Design By Contract