Examples for blog post "Complicating SimpleBDD"