Enforcement monitoring wrt. the safety-progress classification of properties