Chicken CTL - The one and only CTL checker you might ever need.