if the following are true:

• value at class_name in map class_defs = class_def
• value at "methods" in map class_def = methods
• value at method_name in map methods = method_map

then definition of method method_name of class class_name in class_defs = method_map