simplify contra/chooseLiteral code