Frame inference analysis for Java/AspectJ