Sanitize IR

Only CI for now.
More complicated to understand.