also adopt rabin-ben-or test cases