@Override
    protected void pushInitialValue(CFGBuilder builder) {
      builder.push(DfTypes.booleanValue(!"anyMatch".equals(myCall.getMethodExpression().getReferenceName())));
    }
@Override
    protected void pushInitialValue(CFGBuilder builder)