Add Attachment:STR-528: dynamic rule intersection inside a fix point operator sometimes goes wrong