Lobsters: SSA from bytecode: imperative pearl