leftover rename
OK I've had it with trying this soft objective stuff. And the
unilateral constraints, too. Let's first get the good old
task-priority stuff right, shall we?