state → langapi Relation

File in src/goto-symex/state	Includes file in src/langapi
renaming.cpp	language_util.h