For when we can import interpret-ssa