Predicate NonSynchronizedOverride::delegatingOverride

Check whether method sub is a trivial override of method sup that simply delegates to sup.

predicate delegatingOverride(Method sub, Method sup)