More debug stuff so that we can track down the problem in TestMarkovConflictChecker