Fixed false positives and false negatives in 'oppositeInnerCondition' (among others: #5808)