Let's try without passing the `--out` option.
We don't narrow check's to state calls no more.