The node you are looking for is at
True invariants are not reported due to output filters
.