Revert "Merge branch 'ralf/separable' into 'master'"

This reverts merge request !881 (merged). Turns out it has bad effects on timing (#521). We probably need to reconsider alternatives to Hint Cut.