Function findPrunableTraces