private void PushStackTrace(CilWorker IL, ModuleDefinition module)
 {
     IL.PushStackTrace(module);
 }