(eventually) abstract interpretation of racket bytecode