eliminate lisp backend, it requires trivial-timeout