Fixed bug on trace.
Internal data structures containing clauses and learned clauses are now vectors instead of lists.