Predicate OverwritingAttributeInSuperClass::both_assign_attribute

predicate both_assign_attribute(Stmt s1, Stmt s2, Function f1, Function f2)