Was the menu context in force BEFORE this statement known? A false here
does not invalidate a resolved reading — the resolver already degrades
every context-DEPENDENT statement when context is lost, so a statement that
still resolved did not consume it (#192, #197).
Where a statement is, and how much the analyzer knew when it read it.