lib(timeout_simple)

   Impose time limit for goals (special version)

