pub fn optimize( signature: &FunctionSignature, _locals: &UniqueMap<Var, SingleType>, cfg: &mut BlockCFG<'_> )