The node you are looking for is at
Detecting invariants in Simulink/Stateflow programs
.