A case tracer for Erlang