McErlang: a model checker for Erlang