AChecker validation success