Examples Are Tests Too for Erlang