removed superfluous call to scheduleEdgeProcessing
indentation
number of threads is now configured through SolverConfiguration, a new super interface of IFDSTabulationProblem