Added @AffectsChecker annotation.