new check added: forbid subclassing of final classes