@@ -67,6 +67,7 @@ class HarmlessNestedExpr extends BinaryExpr {
  */
 predicate interestingNesting(BinaryExpr inner, BinaryExpr outer) {
   inner = outer.getAChildExpr() and
+  not isParenthesized(inner, _) and
   not inner instanceof AssocNestedExpr and
   not inner instanceof HarmlessNestedExpr
 }
 
@@ -5,3 +5,7 @@ package main
 func weightedMeanGood(a, b float64, countA, countB, total int) float64 {
 	return ((a * float64(countA)) + (b * float64(countB))) / float64(total)
 }
+
+func parenthesizedGood(a, b, c int) int {
+	return (a ^ b)&c
+}
Original file line number	Diff line number	Diff line change
`@@ -67,6 +67,7 @@ class HarmlessNestedExpr extends BinaryExpr {`
`67`	`67`	`*/`
`68`	`68`	`predicate interestingNesting(BinaryExpr inner, BinaryExpr outer) {`
`69`	`69`	`inner = outer.getAChildExpr() and`
	`70`	`+ not isParenthesized(inner, _) and`
`70`	`71`	`not inner instanceof AssocNestedExpr and`
`71`	`72`	`not inner instanceof HarmlessNestedExpr`
`72`	`73`	`}`
Original file line number	Diff line number	Diff line change
`@@ -5,3 +5,7 @@ package main`
`5`	`5`	`func weightedMeanGood(a, b float64, countA, countB, total int) float64 {`
`6`	`6`	`return ((a * float64(countA)) + (b * float64(countB))) / float64(total)`
`7`	`7`	`}`
	`8`	`+`
	`9`	`+func parenthesizedGood(a, b, c int) int {`
	`10`	`+ return (a ^ b)&c`
	`11`	`+}`