slightly more tolerant Trace_tstp.of_decls