incremental consistency checking: do not run if no context was created