As discussed with @JakeGinnivan and @mwhelan in comments for #8 Using BDDfy for that would be nice, but we need to find a way to keep it as an option, not mandatory. Possibly #6 could offer a solution to that