#4 Added a check for case labels to avoid instrumenting them.