Revert workaround hets issue 1433

This reverts the workaround of #1147. This is supposed to be merged as soon as https://github.com/spechub/Hets/issues/1433 is solved.