add traces
catch exceptions on interpret rule