module prop-dnf8
imports libstrategolib prop-laws prop-dnf7

strategies
  propbu8(s) = try(proptr7(propbu8(s))); s
strategies
  dnf8    = propbu8(dnfred8)
  dnfred8 = try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DAOL <+ DAOR); dnf8)
  cnf8    = propbu8(cnfred8)
  cnfred8 = try(DN <+ (DefI <+ DefE <+ DMA <+ DMO <+ DOAL <+ DOAR); cnf8)