Jar a assertion-constraints

Jar examples for a:assertion-constraints