/// <summary>
/// Delete a method from this module
/// </summary>
/// <param name="meth">The method to be deleted</param>
public void RemoveMethod(MethodDef meth)
{
//FIXME Contract.Requires(defaultClass != null);
defaultClass.RemoveMethod(meth);
}