added the option --tree for the pbes2bool invoication in the parallel script