Implement BDD composition