directory file line function property kind status property . provenance_via_io_percentp_global.c 9 main precondition of rewind Unknown valid_stream: \valid(stream) . provenance_via_io_percentp_global.c 16 main mem_access Unknown \valid(r) FRAMAC_SHARE/libc stdio.h 480 rewind precondition Unknown valid_stream: \valid(stream)