Only determinize and minimize broken now???