bugfix: add conflict_resolution at end of each compiled rule.
bugfix: set_default_utilities used correctly now.
changed conflict resolution: conflict_sets contain now the concrete instantiation of a rule and not only their name.