This should read:

```java
if (previous instanceof ProfilingATNSimulator)
```