testSleep
Tests the query
?- sleep(MediumDuration).Content copied to clipboard
solved with shortDuration as the max duration: since the sleep alone exceeds the budget, the sole result is a Solution.Halt wrapping a it.unibo.tuprolog.solve.exception.TimeOutException for shortDuration.