tweaked prettyprinting to fix some edge cases involving instructions which are partially flagged as SMC.