factor out Var destruction