make miscLib's set_trace robust against multiple HOL versions