In x86_analysis, we should use OR and not AND on dirty flags when deciding whether eflags have been dirtied by an instruction