witness → langapi Relation

File in src/goto-symex/witness	Includes file in src/langapi
witnesses.cpp	languages.h
witnesses.h	language_util.h