Verifying AutoScaling Group Rules