This is a tracking bug for a task. It's likely non-controversial; it just needs to be done.

if (a() && b()) {
    ...
}

We need to define the situations where b() gets executed.