Subclassing VarNode by UniVarNode and MultiVarNode