Add description for AOP + Design-by-Contract