if the following are true:

• value at first_base in map class_defs = class_def
• value at "methods" in map class_def = methods_map
• map methods_map contains key method_name = False

then definition of method method_name in base classes [ first_base, rest ] in class_defs = definition of method method_name in base classes rest in class_defs