remove unsafe call to head
simplify contra/chooseLiteral code
Merge pull request #2 from ranjitjhala/master

Remove unsafe call to `head`