Every proven edge originating from one consuming file.
Readonly
Every proven edge originating from this file, in scan order.
The consuming file.
Every proven edge originating from one consuming file.