safety properties base class: error message improved