goto-programs → abstract-interpretation Relation

File in src/goto-programs	Includes file in src/goto-programs/abstract-interpretation
goto_contractor.cpp	interval_domain.h
goto_contractor.h	interval_analysis.h