Remove from the XSB adapter file the workaround for the lack of compliance of the `thread_sleep/1` predicate