McErlang: a model checker for a distributed functional programming language