added conflict resolution with refraction (i.e. a history of applied rule instantiations and prohibition of firing already applied rule instantiations).