goto-symex → big-int Relation

File in src/goto-symex	Includes file in src/big-int
waypoint.h	bigint.hh
witness / witnesses.h	bigint.hh