Sin embargo, la pena de muerte por diversos delitos de terrorismo ya estaba en la legislación penal, por ejemplo en los artículos 294 bis a), 294 bis b) y 294 bis c) del Código de Justicia Militar, incluidos en dicho código en 1971.