@@ -286,7 +286,7 @@ class DataFlowCall extends Call {
   ExprNode getNode() { result.getExpr() = this }
 }
 
-/** Holds if `e` is an expression that always has the same boolean value `val`. */
+/** Holds if `e` is an expression that always has the same Boolean value `val`. */
 private predicate constantBooleanExpr(Expr e, boolean val) {
   e.(CompileTimeConstantExpr).getBooleanValue() = val
   or
@@ -297,11 +297,11 @@ private predicate constantBooleanExpr(Expr e, boolean val) {
   )
 }
 
-/** An expression that always has the same boolean value. */
-class ConstantBooleanExprNode extends ArgumentNode, ExprNode {
-  ConstantBooleanExprNode() { constantBooleanExpr(this.getExpr(), _) }
+/** An argument that always has the same Boolean value. */
+private class ConstantBooleanArgumentNode extends ArgumentNode, ExprNode {
+  ConstantBooleanArgumentNode() { constantBooleanExpr(this.getExpr(), _) }
 
-  /** Gets the boolean value of this expression. */
+  /** Gets the Boolean value of this expression. */
   boolean getBooleanValue() { constantBooleanExpr(this.getExpr(), result) }
 }
 
@@ -311,7 +311,8 @@ class ConstantBooleanExprNode extends ArgumentNode, ExprNode {
 cached
 predicate isUnreachableInCall(Node n, DataFlowCall call) {
   exists(
-    ExplicitParameterNode paramNode, ConstantBooleanExprNode arg, SsaImplicitInit param, Guard guard
+    ExplicitParameterNode paramNode, ConstantBooleanArgumentNode arg, SsaImplicitInit param,
+    Guard guard
   |
     // get constant bool argument and parameter for this call
     viableParamArg(call, paramNode, arg) and
Original file line number	Diff line number	Diff line change
`@@ -286,7 +286,7 @@ class DataFlowCall extends Call {`
`286`	`286`	`ExprNode getNode() { result.getExpr() = this }`
`287`	`287`	`}`
`288`	`288`
`289`		-/** Holds if `e` is an expression that always has the same boolean value `val`. */
	`289`	+/** Holds if `e` is an expression that always has the same Boolean value `val`. */
`290`	`290`	`private predicate constantBooleanExpr(Expr e, boolean val) {`
`291`	`291`	`e.(CompileTimeConstantExpr).getBooleanValue() = val`
`292`	`292`	`or`
`@@ -297,11 +297,11 @@ private predicate constantBooleanExpr(Expr e, boolean val) {`
`297`	`297`	`)`
`298`	`298`	`}`
`299`	`299`
`300`		`-/** An expression that always has the same boolean value. */`
`301`		`-class ConstantBooleanExprNode extends ArgumentNode, ExprNode {`
`302`		`- ConstantBooleanExprNode() { constantBooleanExpr(this.getExpr(), _) }`
	`300`	`+/** An argument that always has the same Boolean value. */`
	`301`	`+private class ConstantBooleanArgumentNode extends ArgumentNode, ExprNode {`
	`302`	`+ ConstantBooleanArgumentNode() { constantBooleanExpr(this.getExpr(), _) }`
`303`	`303`
`304`		`- /** Gets the boolean value of this expression. */`
	`304`	`+ /** Gets the Boolean value of this expression. */`
`305`	`305`	`boolean getBooleanValue() { constantBooleanExpr(this.getExpr(), result) }`
`306`	`306`	`}`
`307`	`307`
`@@ -311,7 +311,8 @@ class ConstantBooleanExprNode extends ArgumentNode, ExprNode {`
`311`	`311`	`cached`
`312`	`312`	`predicate isUnreachableInCall(Node n, DataFlowCall call) {`
`313`	`313`	`exists(`
`314`		`- ExplicitParameterNode paramNode, ConstantBooleanExprNode arg, SsaImplicitInit param, Guard guard`
	`314`	`+ ExplicitParameterNode paramNode, ConstantBooleanArgumentNode arg, SsaImplicitInit param,`
	`315`	`+ Guard guard`
`315`	`316`	`\|`
`316`	`317`	`// get constant bool argument and parameter for this call`
`317`	`318`	`viableParamArg(call, paramNode, arg) and`