added probtrace function