equation → langapi Relation

File in src/goto-symex/equation	Includes file in src/langapi
slice.h	language_util.h
symex_target_equation.cpp	language_util.h