Value propagation complete. need to check if path value is correct