This version includes the parallelization of model checking
assigned to @abid
mentioned in commit a987521a
merged