base → goto-symex Relation

File in src/util/base	Includes file in src/goto-symex
yaml_parser.h	witness / witnesses.h