bindings → simplification Relation

File in src/bindings	Includes file in src/simplification
bind_variation.h	constants.h
bind_variation.h	inexact.h