converted trace to CVC4::trace