Death penalty in Indonesia: between criminal law and Islamic law perspectives | Synapse