fix argument filter allocator
dump non-terminating trs'