* Implement the exist rule for the simulink checker