Simple fix for failing MarkovConflictChecker tests