lib(par_util)

   Parallel versions of various predicates

