value flow: improved calculations that depends on variable