variable-sensitivity → goto-programs Relation

File in src/analyses/variable-sensitivity	Includes file in src/goto-programs
abstract_object.h	goto_program.h
abstract_value_object.cpp	adjust_float_expressions.h