Removed all vec variables from Solver.cc except for the one used internally in OccLists