Sanitize IR

Only CI for now.
If you add these two cases, you'll also have to add cases for `-`, `~` and `^` (which is probably a good idea, in order to keep it more readable).