Kill the dynamic trace process after failed test cases
Refactor ugly print_term handling code
Support expressions in print_term
Add API module