SRuS shouldn't be throwing SProS exceptions.