Injector Completion::BooleanCompletion

The expression completes with value outerValue overall and with the last control flow node having value innerValue.

BooleanCompletion BooleanCompletion(boolean outerValue, boolean innerValue)