Class Analyses as Abstract Interpretations of Trace Semantics