Value propagation: Fail if visiting V_List or V_Struct