Inducing function properties from computation traces