About: http://webisa.webdatacommons.org/152222327

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	I think the problem is a matter of trusting the CASE tool, and as per any tool, they come is varying degree of quality. ie some C compiler produce better code than others, given a set of constraints.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com