I believe there is a bug in the feature tool that puts an extra breakable slot when it should not, because the compiler does not generate the precondition at all, as it is always true.