goto-programs → big-int Relation

File in src/goto-programs	Includes file in src/big-int
abstract-interpretation / bitwise_bounds.h	bigint.hh