Problem

As part of #6801 we are going to want to be able to run tests using our SSA parser that include globals.

Happy Case

I should be able to take in SSA text like such:

After Initial SSA:
g0 = Field 1
g1 = make_array [Field 1, Field 1] : [Field; 2]
g2 = Field 0
g3 = make_array [Field 0, Field 0] : [Field; 2]
g4 = make_array [g1, g3] : [[Field; 2]; 2]

brillig(inline) fn main f0 { ... }

And convert it into Ssa like we do Ssa functions.

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

Nice-to-have

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response