Fix a bug in obj_1cfa_extractor.
Add back VarNode.