| PASS <a> that is not connected should be followed | |
| PASS <a> that is from an inactive document should not be followed | |
| FAIL <area> that is not connected should not be followed assert_unreached: Reached unreachable code | |
| PASS <area> that is from an inactive document should not be followed | |