Refactor CheckOther::oppositeInnerCondition() using AST and isSameExpression()