complete DS synthesis (buggy)