VisualBDD workspace