lib(timeout)

   Impose time limit for goals

