state → pointer-analysis Relation

File in src/goto-symex/state	Includes file in src/pointer-analysis
goto_symex_state.h	value_set.h