On the Automated Analysis of Safety in Usage Control: A New Decidability Result