add x'=x for non-assigned vars