- dirac_trace() handles arbitrary expressions (even unexpanded), including