Code Coverage in Functional Concurrent Languages