Converted ExecuteVMEDSL to new format