Enforcing behavioral constraints in evolving aspect-oriented programs