vs → carl-formula Relation

File in carl-arith/vs	Includes file in carl-formula
SqrtEx.h	arithmetic / Constraint.h