docs: public Obligation[] getParameterObligationTypes(XMethod xmethod) {
          Type[] paramTypes = Type.getArgumentTypes(xmethod.getSignature());
          Obligation[] result = new Obligation[paramTypes.length];
          for (int i = 0; i < paramTypes.length; i++) {
              if (!(paramTypes[i] instanceof ObjectType)) {
                  continue;
              }
              try {
                  result[i] = getObligationByType((ObjectType) paramTypes[i]);
              } catch (ClassNotFoundException e) {
                  Global.getAnalysisCache().getErrorLogger().reportMissingClass(e);
              }
          }
          return result;
      }