quick simulation for checking p(tau1 <= tau2). changes to finite state
group methods