Siemens Step 7 Counter Example