Use llvm-config --cppflags rather than --cxxflags

We don't necessarily want to inherit LLVM's warning options.
Remove an unused data structure
Fix the test used when forming a path condition from a conditional branch
Print names as comments alongside named insts
Simplify the extractor tests with a fixture
Filter candidate path conditions based on equivalence classes of variable sets