private Node tryMinimizeCondition ( Node n ) { n = performConditionSubstitutions ( n ) ; MinimizedCondition minCond = MinimizedCondition . fromConditionNode ( n ) ; return replaceNode ( n , minCond . getMinimized ( MinimizationStyle . PREFER_UNNEGATED ) ) ; }
Try to minimize condition expression as there are additional assumptions that can be made when it is known that the final result is a boolean .