separated conflict resolution from core.
bugfix: reward system uses new production rule representation (from conflict sets; not only identified by name but complete instantiation)