[Checkers] Checker Improvement for ISSTA Paper

[Mahmood Ali]

The checkers framework has improved significantly since we submitted  
the ISSTA paper, especially with respect to the declarative style for  
annotations, which was addressed in the reviews.

Can we think for any further significant feature/design improvement  
for the checkers or the framework that will be nice to have/discuss in  
the paper?

Regards,
Mahmood