Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImpl

so that nodes can be marked as representing an infeasible program point. This
flag lets the path-sensitive solver know that no successors should be generated
for such nodes.

llvm-svn: 45788