Bugfix: IsWellDefined propagation of attributes