A BDD framework which is great for testing distributed systems