Fix #14716 FP oppositeInnerCondition, x.size() < y.size() does not mean that x must be empty

Fix #14716 FP oppositeInnerCondition, x.size() < y.size() does not mean that x must be empty #23018