fixed minor details in brazil
implemented simple test and optimized do_trace retry
updated README with some theoretical elements about the analysis