Text this: Supporting the debugging of Erlang programs by symbolic execution