Add support for non-SSA Sierra

[javra]

So far, we've relied on Sierra files being always in SSA form, but as we can see here, this is not required. We need to keep an eye on the compiler output to spot if this will be a problem in the future.