Value definition/use inference