Wouldn’t denying and repudiating “allah” be the same as denying and repudiating “satan”?
Those are alternate spellings of the same word, just like the American "color" and the British "colour".