Predicate OverwritingAttributeInSuperClass::attribute_overwritten

predicate attribute_overwritten(AssignStmt overwrites, AssignStmt overwritten, string name, string classtype, string classname)