I länderna i västvärlden har principen om immunitet mot verkställighet utvecklats mot en restriktiv teori enligt vilken immunitet mot verkställighet råder såvitt avser statsegendom som används för statliga ändamål , medan verkställighet är tillåten ( även utan att staten avstått från immunitet ) i egendom som används eller är avsedd att användas för kommersiella ändamål .