method vterm t = 
    match t.term_node with 
      | Tapp (_,_ , _) ->  SkipChildren
      | Tblock_length _ -> SkipChildren 
      | t1 -> 
          if reference_parameter_usage_term t1 then SkipChildren else DoChildren