Fix interrupt behaviour on a skipped branch