Design by Contract library for AspectJ