Predicate CodeDuplication::duplicateStatement

Holds if stmt1 and stmt2 are duplicate statements in function or toplevel sc1 and sc2, respectively, where scope1 and scope2 are not the same.

predicate duplicateStatement(Scope scope1, Scope scope2, Stmt stmt1, Stmt stmt2)