Fix bug in simplify that was skipping saturating arm ops