ASM analyzer is conservative when constructing error transitions. Really, not all instructions can lead to error transitions. Possible optimization is to filter out error transitions from "safe" instructions, it will interplay with #5 and the effect may be significant.
ASM analyzer is conservative when constructing error transitions. Really, not all instructions can lead to error transitions. Possible optimization is to filter out error transitions from "safe" instructions, it will interplay with #5 and the effect may be significant.