type generalization for clang
generate D* test relations with doubles attributes
make the verifier friendly to both doubles and ints
replace relationInfo File Input with a C++ one that uses std::tuple as a schema
a very basic double test
changes to clang to use the new double-friendly File IO