value inference