added checking for redefinitions for methods in M table