Correctly identified getelementptr