Bugfix in precede restrictions