Adds Spinach for BDD