Inheritance
Child_Contract -> Immediate_Base_Contracts [Not_Immediate_Base_Contracts]
+ C


Base_Contract -> Immediate_Child_Contracts
 [Not_Immediate_Child_Contracts]

+ C

