Samples using the BDDfy framework