Elle: A transactional consistency checker for black-box databases · HackerTrans