Added a comment to DeterminismChecker
New constructor for TeeOutputStream