Implementing ProdNode and VarNode