Violation tracing on the model

When a violation has been found, clicking on the constraint in the results tab will also show a trace on the model highlighting the propagation of the violation throughout all subsystems.

In the image above, the inputs and subsystems that do not contribute to the violation of the constraint are greyed out. This helps the systems engineer more rapidly hone-in on the root cause of error by following the trace in the culprit subsystems.