#
#=DESCRIPTION test for conflict resolution in minimization phase of dfa gen
#=EXRESULT FAIL
#=TODO
#
/usr/bin/foo {
  /b* px,
  /* Pixr,
  /a* Cx -> foo,
}