If you're referring to Alicia, there's a possibility that there will be a different devil that is "satan". And another devil that is "lucifer". It really depends on how deep the author leans into "Seven Deadly Sins" of classic demonology.
Beelzebub = Gluttony
Belphegor = Sloth
Mammon = Greed...