添加对时间二分的支持

可能有用的是能够指定一个条件,并让 rr 将程序的运行分割到条件从真转为假的点。