Finding traces refactored

Find-x renamed to search-x. Added search/get-mp-tail-trace