Predicate duplicateStatements

Import path

import external.CodeDuplication
predicate duplicateStatements(Method m1, Method m2, int duplicate, int total)