Injector BooleanCompletion
The expression completes with value outerValue overall and with the last control
flow node having value innerValue.
Import path
import semmle.code.java.CompletionBooleanCompletion BooleanCompletion(boolean outerValue, boolean innerValue)