Checking Strict IEC Rules