let fold_pattern_vars f p init =
              ((new c_fold_pattern_vars f init)#patt p)#acc