Sanne Grinovero, Hardy Ferentschik: What's the final verdict on that one? Do it as suggested or not? IMO, defaulting to analyze=no for booleans seems like the right thing to me. We can add a description to the annotation docs.