Copy propagation for variables in premises