method vfunc fdec =
    let n =
      try
        let n = VarinfoHashtbl.find functions_no_source fdec.svar in
        VarinfoHashtbl.remove functions_no_source fdec.svar;
        n
      with Not_found ->
        0
    in
    let n =
      try VarinfoHashtbl.find functions_with_source fdec.svar + n
      with Not_found -> n
    in
    VarinfoHashtbl.replace functions_with_source fdec.svar n;
    DoChildren