Add expr->Var~Var