lib(util)

   Various utility predicates for program development

