Adding fully alive and dead branch counters.
Comments on zip
First draft of unzip function