removed unused code (class Timeout and decorator timelimit