For whatever reason, the DetailedScenariosUpperBound
var is not recognized by VA here, although at the declaration (out int ...) its ok.
Note that the navigation AND definition bar is empty although the caret is on the variable. In the line above and below the Nav bar shows the current method name.