Switch away from DNF and to simpler representation.