Bug #3152: STL tour not loading
update STL AF3 tour with OCRA contracts
Update the STL tour example with the one having OCRA contracts.
How to verify:
1) Open the Simple traffic light AF3 tour from the examples (File -> Open AF3 example)
2) Go to V&V dashboard of TLCSystem
3) You should be able to see the contracts
4) If you enable the "OCRA contracts" constraint from the constraints list then they should be triggered. And moreover, all constraints should pass.