1) combing .racket .rkt_lineno .rkt_col_offset in one function 2) generate code for min unsat core but does't work yet