Concuerror is a systematic testing tool for concurrent Erlang programs