Typo mistake + an other test for DeterminismChecker