Problems are occurring with statics that we need to resolve. See [these lines](https://github.com/runtimeverification/smir_pretty/blob/0a14cc9e1408a90a8077a85dc53ae72dcc7245a2/src/printer.rs#L704-L714) from Stephen The message gets printed when generating smir json from [test program `box.rs`](https://github.com/runtimeverification/smir_pretty/blob/5314e1f8d8053dc129313741bbd3e77ddd1cf0c9/tests/integration/failing/box.rs).
Problems are occurring with statics that we need to resolve. See these lines from Stephen
The message gets printed when generating smir json from test program
box.rs.