add global insts vt env mt