Bug fix: label is unique when engine throws. Adapted UTs.