simplification → vary Relation

File in src/simplification	Includes file in src/vary
constants.h	search_space.h
inexact.h	search_space.h