docs: @Ensures("lastMethodNode == null")
    protected void captureLastMethodNode() {
      if (lastMethodNode == null) {
        return;
      }
  
      ContractKind kind = ContractMethodSignatures.getKind(lastMethodNode);
      if (kind != null) {
        List<Long> lineNumbers =
            ContractMethodSignatures.getLineNumbers(lastMethodNode);
  
        if (kind.isClassContract() || kind.isHelperContract()) {
          ClassContractHandle ch =
              new ClassContractHandle(kind, className,
                                      lastMethodNode, lineNumbers);
          classHandles.add(ch);
        } else {
          MethodContractHandle mh =
              new MethodContractHandle(kind, className,
                                       lastMethodNode, lineNumbers);
          internMethod(mh.getMethodName()).add(mh);
        }
      }
  
      lastMethodNode = null;
    }