Value propagation: Simple simulation of variable declarations