lib(lint)

   Heuristic program checker

