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)