Class ConflictFreeReasoner