A suite of examples of Erlang Declarative Debugger (edd)