:def nodes are tagged as Var