Counter Example in TIA Portal (SCL) - Siemens-tia-portal Typing CST Test