IQAN 7 Security property:

As a suggestion, is it possible to throw compilation error when "Allow stop" in security property is tied to channel that executes logic for millisecond intervals. For example, if "Allow stop" is tied to channel that evaluates flank and if not latched then module cannot be re-programmed, unless trying to program without ID tag.