org_aspectj_ajde_core_tests_model_SavedModelConsistencyTest_java
org.aspectj.weaver.patterns.PointcutRewriter
private void collectOrNodes(Pointcut pc, Set<Pointcut> nodesSoFar) {
        if (this.isOr(pc)) {
            OrPointcut opc = (OrPointcut)pc;
            this.collectOrNodes(opc.getLeft(), nodesSoFar);
            this.collectOrNodes(opc.getRight(), nodesSoFar);
        } else {
            nodesSoFar.add(pc);
        }
    }
 -> java.util.Set.add(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean -> java.lang.String.equals(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean -> java.lang.Object.equals(java.lang.Object): boolean
 [CALL] [CALL] [EXIT] -> java.util.Set.add(java.lang.Object): boolean [CALL] [CALL] -> java.lang.Object.equals(java.lang.Object): boolean [CALL] -> java.lang.Object.equals(java.lang.Object): boolean [CALL] [CALL] [CALL] -> java.lang.String.equals(java.lang.Object): boolean [EXIT] [CALL] [EXIT] -> java.lang.Object.equals(java.lang.Object): boolean [CALL] [EXIT] -> java.lang.Object.equals(java.lang.Object): boolean [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] -> java.lang.Object.equals(java.lang.Object): boolean [EXIT] [EXIT] -> java.lang.Object.equals(java.lang.Object): boolean [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT]