docs: protected void addMethod(String k, ExecutableElement e, MethodModel exec) {
      ArrayList<ContractableMethod> list = methodMap.get(k);
      if (list == null) {
        list = new ArrayList<ContractableMethod>();
        methodMap.put(k, list);
      }
      list.add(new ContractableMethod(e, exec));
    }