private void processNonBranchingMethod(Member method,
                                           Type[] argumentTypes,
                                           ControlFlowGraph graph,
                                           Type returnType,
                                           boolean stable,
                                           List<? super Equation> result) throws AnalyzerException {
      Set<Member> fieldsToTrack = method.methodName.equals("<clinit>") ? myStaticFinalFields : Collections.emptySet();
      CombinedAnalysis analyzer = new CombinedAnalysis(method, graph, fieldsToTrack);
      analyzer.analyze();
      ContainerUtil.addIfNotNull(result, analyzer.outContractEquation(stable));
      ContainerUtil.addIfNotNull(result, analyzer.failEquation(stable));
      storeStaticFieldEquations(analyzer);
      if (ASMUtils.isReferenceType(returnType)) {
        result.add(analyzer.nullableResultEquation(stable));
      }
      for (int i = 0; i < argumentTypes.length; i++) {
        Type argType = argumentTypes[i];
        if (ASMUtils.isReferenceType(argType)) {
          result.add(analyzer.notNullParamEquation(i, stable));
          result.add(analyzer.nullableParamEquation(i, stable));
          for (Value val : Value.OBJECT) {
            ContainerUtil.addIfNotNull(result, analyzer.contractEquation(i, val, stable));
            ContainerUtil.addIfNotNull(result, analyzer.failEquation(i, val, stable));
          }
        } else if (ASMUtils.isBooleanType(argType)) {
          for (Value val : Value.BOOLEAN) {
            ContainerUtil.addIfNotNull(result, analyzer.contractEquation(i, val, stable));
            ContainerUtil.addIfNotNull(result, analyzer.failEquation(i, val, stable));
          }
        }
      }
    }
private void processNonBranchingMethod(Member method,
                                           Type[] argumentTypes,
                                           ControlFlowGraph graph,
                                           Type returnType,
                                           boolean stable,
                                           List<? super Equation> result)