Better error messages for new per-instance overlap flags and Safe