Inducing Function Properties from Computation Traces