Modify VM.MethodSet.t